Non-standard analysis in ACA0 and Riemann mapping theorem

• Autores: Keita Yokoyama
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 2, 2007, págs. 132-146
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • This research is motivated by the program of reverse mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second-order arithmetic ACA0, we investigate some aspects of non-standard analysis related to sequential compactness. Then, using arguments of non-standard analysis, we show the equivalence of the Riemann mapping theorem and ACA0 over WKL0. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)