Minimal axiomatic frameworks for definable hyperreals with transfer

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. Keywords: definability; hyperreal; superstructure; elementary embedding.

8 pages, to appear in Journal of Symbolic Logic

Cited by in corpus (3)

• Infinite lotteries, spinners, and the applicability of hyperreals
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• Monotone subsequence via ultrapower