MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER

DOI10.1017/JSL.2017.48zbMATH Open1447.03014DBLPjournals/jsyml/HerzbergKKL18arXiv1707.00202OpenAlexW2730824036WikidataQ67224900 ScholiaQ67224900MaRDI QIDQ4638992FDOQ4638992

Authors: Vladimir Kanovei, Frederik Herzberg, Mikhail G. Katz, Vassily Lyubetsky Edit this on Wikidata

Publication date: 2 May 2018

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

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.

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

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

zbMATH Keywords

definabilitysuperstructurehyperreal

Mathematics Subject Classification ID

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

Cites Work

• The axiom of choice
• Set theory. An introduction to independence proofs
• A model of set-theory in which every set of reals is Lebesgue measurable
• Model theory.
• Some applications of the notions of forcing and generic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Problems of set-theoretic non-standard analysis
• Title not available (Why is that?)
• The hyperreal line
• Iterated perfect-set forcing
• Stochastic calculus with infinitesimals
• What Is Nonstandard Analysis?
• A definable nonstandard model of the reals
• A definable nonstandard enlargement
• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Definability of measures and ultrafilters
• A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory

Cited In (6)

• Monotone subsequence via ultrapower
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• A definable nonstandard model of the reals
• Title not available (Why is that?)
• Integration with filters
• Timothy Williamson's coin-flipping argument: refuted prior to publication?

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)