We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER.
- Authors
HERZBERG, FREDERIK S.; KANOVEI, VLADIMIR; KATZ, MIKHAIL; LYUBETSKY, VASSILY
- Abstract
We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a <bold>ZF</bold>-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering implying properness. Under the same assumptions, we also prove the existence of a definable, proper elementary extension of the standard superstructure over the reals.
- Subjects
AXIOMATIC set theory; HYPERREAL numbers; CONTINUUM hypothesis; DEFINABILITY theory (Mathematical logic); GROUP extensions (Mathematics)
- Publication
Journal of Symbolic Logic, 2018, Vol 83, Issue 1, p385
- ISSN
0022-4812
- Publication type
Article
- DOI
10.1017/jsl.2017.48