Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer

Herzberg, Frederik S.; Kanovei, Vladimir; Katz, Mikhail und Lyubetsky, Vassily (2018): Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. In: Journal of Symbolic Logic, Bd. 83, Nr. 1: S. 385-391

Abstract

We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-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.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP)
• ISSN: 0022-4812
• Allianz-/Nationallizenz: Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG-geförderten) Allianz- bzw. Nationallizenz frei zugänglich.
• Sprache: Englisch