Effective infinitesimals in \(\mathbb{R}\)

DOI10.14321/realanalexch.48.2.1671048854arXiv2305.09672MaRDI QIDQ6183681

Karel Hrbacek, Mikhail G. Katz

Publication date: 4 January 2024

Published in: Real Analysis Exchange (Search for Journal in Brave)

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

zbMATH Keywords

nonstandard analysisinfinitesimalseffective analysis

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)

Cites Work

• Unnamed Item
• Unnamed Item
• A natural model of the multiverse axioms
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• Infinitesimal analysis without the axiom of choice
• Radically Elementary Probability Theory. (AM-117)
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
• Non-standard analysis