MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER

DOI10.1017/jsl.2017.48zbMath1447.03014arXiv1707.00202OpenAlexW2730824036WikidataQ67224900 ScholiaQ67224900MaRDI QIDQ4638992

Kanovei, Vladimir, Vassily Lyubetsky, Frederik S. Herzberg, Mikhail G. Katz

Publication date: 2 May 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.00202

zbMATH Keywords

definabilitysuperstructurehyperreal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonstandard models in mathematics (03H05) Ultraproducts and related constructions (03C20)

Related Items

Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context ⋮ Integration with filters ⋮ Monotone subsequence via ultrapower

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stochastic calculus with infinitesimals
• Set theory. An introduction to independence proofs
• Model theory.
• A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• What Is Nonstandard Analysis?
• A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
• Problems of set-theoretic non-standard analysis
• Iterated perfect-set forcing
• Definability of measures and ultrafilters
• A definable nonstandard model of the reals
• Some applications of the notions of forcing and generic sets
• A definable nonstandard enlargement
• The axiom of choice