Formalizing non-standard arguments in second-order arithmetic

DOI10.2178/jsl/1286198143zbMath1214.03047MaRDI QIDQ3066789

Keita Yokoyama

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

zbMATH Keywords

ACA; reverse mathematics; conservative extension; WKL; nonstandard mathematics; Gödel numbers; ns-ACA; ns-WKL

Mathematics Subject Classification ID

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 WKL₀
• Nonstandard Arithmetic and Reverse Mathematics