MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER

DOI10.1017/JSL.2017.48zbMATH Open1447.03014DBLPjournals/jsyml/HerzbergKKL18OpenAlexW2730824036WikidataQ67224900 ScholiaQ67224900MaRDI QIDQ4638992FDOQ4638992

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

Publication date 2 May 2018

Published in 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) Ultraproducts and related constructions (03C20) Nonstandard models in mathematics (03H05)

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.

Recommendations

• Transference theorems and intuitionistic set theory
• Minimal predicates, fixed-points, and definability
• Minimal readability of intuitionistic arithmetic and elementary analysis
• Definability in o-minimal expansions of the real numbers
• Transfer principles in nonstandard intuitionistic arithmetic
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• Extensional realizability for intuitionistic set theory
• Minimal predicates for \(\Delta \)-definability
• Definability and reducibility in higher types over the reals
• Representation theorems for transfinite computability and definability

Cites work

• scientific article; zbMATH DE number 5281873 (Why is no real title available?)
• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 3525429 (Why is no real title available?)
• scientific article; zbMATH DE number 3559571 (Why is no real title available?)
• scientific article; zbMATH DE number 2106998 (Why is no real title available?)
• scientific article; zbMATH DE number 3307529 (Why is no real title available?)
• scientific article; zbMATH DE number 3330583 (Why is no real title available?)
• A definable nonstandard enlargement
• A definable nonstandard model of the reals
• A model of set-theory in which every set of reals is Lebesgue measurable
• A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.
• Definability of measures and ultrafilters
• Iterated perfect-set forcing
• Model theory.
• Problems of set-theoretic non-standard analysis
• Set theory. An introduction to independence proofs
• Some applications of the notions of forcing and generic sets
• Stochastic calculus with infinitesimals
• The axiom of choice
• The hyperreal line
• What Is Nonstandard Analysis?

Cited in

(6)

• Timothy Williamson's coin-flipping argument: refuted prior to publication?
• A definable nonstandard model of the reals
• Integration with filters
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• Monotone subsequence via ultrapower
• scientific article; zbMATH DE number 1534539 (Why is no real title available?)

This page was built for publication: MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4638992)