Non-standard analysis in ACA0 and Riemann mapping theorem
From MaRDI portal
Publication:3437038
DOI10.1002/malq.200610033zbMath1115.03085MaRDI QIDQ3437038
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
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
Nonstandard second-order arithmetic and Riemann's mapping theorem, Formalizing non-standard arguments in second-order arithmetic, Reverse Mathematics: The Playground of Logic, 10th Asian Logic Conference
Cites Work