Multi-level nonstandard analysis and the axiom of choice
From MaRDI portal
Publication:6595732
DOI10.4115/JLA.2024.16.5MaRDI QIDQ6595732
Publication date: 30 August 2024
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
nonstandard analysisultrafilteraxiom of choiceSzemerédi's theoremiterated ultrapowerlevels of standardnesslevels of infinity
Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05) Ultraproducts and related constructions (03C20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
- A functional interpretation for nonstandard arithmetic
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
- Iterated ultrapowers for the masses
- Relative theory of internal sets
- Reverse formalism 16
- Infinitesimal analysis without the axiom of choice
- Commuting and Noncommuting Infinitesimals
- Relative set theory: Internal view
- Axiom of Choice in nonstandard set theory
- Radically Elementary Probability Theory. (AM-117)
- Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice
- Noncommutative geometry and reality
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
- The unreasonable effectiveness of Nonstandard Analysis
- Indestructibility of Wholeness
- Nonstandard Arithmetic and Reverse Mathematics
- The axiom of choice
- Effective infinitesimals in \(\mathbb{R}\)
Related Items (1)
This page was built for publication: Multi-level nonstandard analysis and the axiom of choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6595732)
