Nonstandard second-order arithmetic and Riemann's mapping theorem

DOI10.1016/j.apal.2013.06.022zbMath1298.03112OpenAlexW2042580732MaRDI QIDQ386626

Yoshihiro Horihata, Keita Yokoyama

Publication date: 10 December 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.022

zbMATH Keywords

nonstandard analysisreverse mathematicssecond-order arithmeticRiemann's mapping theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Tanaka's theorem revisited ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonstandard arithmetic and recursive comprehension
• A nonstandard counterpart of WWKL
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Complex analysis in subsystems of second order arithmetic
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Measure theory and weak König's lemma
• ERNA and Friedman's Reverse Mathematics
• Formalizing non-standard arguments in second-order arithmetic
• Non-standard analysis in ACA0 and Riemann mapping theorem
• Non‐standard Analysis in WKL₀
• On the strength of Ramsey's theorem without Σ₁‐induction
• A non-standard construction of Haar measure and weak König's lemma
• Nonstandard Arithmetic and Reverse Mathematics