Formalizing non-standard arguments in second-order arithmetic
From MaRDI portal
Publication:3066789
DOI10.2178/jsl/1286198143zbMath1214.03047MaRDI 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
ACA; reverse mathematics; conservative extension; WKL; nonstandard mathematics; Gödel numbers; ns-ACA; ns-WKL
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03H05: Nonstandard models in mathematics
26E35: Nonstandard analysis
Related Items
Unnamed Item, Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks, Nonstandard second-order arithmetic and Riemann's mapping theorem, Nonstandard arithmetic and recursive comprehension, Ultrafilters in reverse mathematics
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