𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A definable nonstandard enlargement

✍ Scribed by Frederik Herzberg

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
135 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers (i.e. bounded with respect to the superstructure hierarchy). The underlying ultrafilter is the one constructed by Kanovei and Shelah [10]. (Β© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

Addendum to β€œA definable nonstandard enl
Addendum to β€œA definable nonstandard enlargement”
✍ Frederik Herzberg πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 73 KB

## Abstract ŁoΕ›'s theorem for bounded __D__ ‐ultrapowers, __D__ being the ultrafilter introduced by Kanovei and Shelah [4], is established. (Β© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Nonstandard models that are definable in
Nonstandard models that are definable in models of Peano Arithmetic
✍ Kazuma Ikeda; Akito Tsuboi πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 183 KB

## Abstract In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model __N__ without parameters in a model __M__, we show that __N__ is isomorphic to __M__ if __M__ is elementary extension of the standard model and __N__ is elementarily equivalen

A Nonstandard Compactness Criterion
A Nonstandard Compactness Criterion
✍ Richard D. Benham πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 98 KB
Exactly Definable Categories
Exactly Definable Categories
✍ Henning Krause πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 365 KB
A remark on divisibility of definable gr
A remark on divisibility of definable groups
✍ MΓ‘rio J. Edmundo πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 89 KB

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o-minimal structure, then G is divisible. Furthermore, if G is defined in an o-minimal expansion of a field, k ∈ N and p k : G -β†’ G is the definable map given by p k (x) = x k for all x ∈ G, then we