Non-standard analysis in ACA0 and Riemann mapping theorem

DOI10.1002/MALQ.200610033zbMath1115.03085OpenAlexW2087429103MaRDI QIDQ3437038

Keita Yokoyama

Publication date: 11 May 2007

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610033

zbMATH Keywords

nonstandard analysisreverse mathematicsRiemann mapping theorem

Mathematics Subject Classification ID

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 (5)

Reverse Mathematics: The Playground of Logic ⋮ Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ Unnamed Item ⋮ Formalizing non-standard arguments in second-order arithmetic ⋮ 10th Asian Logic Conference

Cites Work

• Complex analysis in subsystems of second order arithmetic
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-standard analysis in ACA0 and Riemann mapping theorem