Infinitesimal analysis without the axiom of choice

DOI10.1016/j.apal.2021.102959OpenAlexW3084111828WikidataQ114016284 ScholiaQ114016284MaRDI QIDQ2662699

Karel Hrbacek, Mikhail G. Katz

Publication date: 14 April 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

forcingnonstandard analysisultrafilteraxiom of choiceextended ultrapower

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05) Model-theoretic forcing (03C25) Nonstandard analysis (26E35)

Related Items

CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES ⋮ Integration with filters ⋮ Effective infinitesimals in \(\mathbb{R}\) ⋮ Infinitesimals via Cauchy sequences: refining the classical equivalence ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Foundations of infinitesimal stochastic analysis
• A functional interpretation for nonstandard arithmetic
• Iterated extended ultrapowers and supercompactness without choice
• Model theory.
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
• Reverse formalism 16
• On mathematical realism and applicability of hyperreals
• A model of set-theory in which every set of reals is Lebesgue measurable
• THE SET-THEORETIC MULTIVERSE
• Relative set theory: Some external issues
• Axiom of Choice in nonstandard set theory
• Radically Elementary Probability Theory. (AM-117)
• Nonstandard Set Theory
• Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• The unreasonable effectiveness of Nonstandard Analysis
• Continuity between Cauchy and Bolzano: issues of antecedents and priority
• Nonstandard Arithmetic and Reverse Mathematics
• Non-standard analysis
• The axiom of choice
• What Makes a Theory of Infinitesimals Useful? A View by Klein and Fraenkel