Formalizing non-standard arguments in second-order arithmetic
From MaRDI portal
Publication:3066789
DOI10.2178/jsl/1286198143zbMath1214.03047OpenAlexW2137023255MaRDI QIDQ3066789
Publication date: 12 January 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1286198143
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)
Related Items
Nonstandard second-order arithmetic and Riemann's mapping theorem, Nonstandard arithmetic and recursive comprehension, Unnamed Item, Ultrafilters in reverse mathematics, Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
- Handbook of proof theory
- Formalizing forcing arguments in subsystems of second-order arithmetic
- Non-standard analysis in ACA0 and Riemann mapping theorem
- Non‐standard Analysis in WKL0
- Nonstandard Arithmetic and Reverse Mathematics