Non-standard analysis in ACA0 and Riemann mapping theorem

Non-standard analysis in ACA0 and Riemann mapping theorem

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‐standa...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2007-04, Vol.53 (2), p.132-146
1. Verfasser: Yokoyama, Keita
Format: Artikel
Sprache:eng
Schlagworte:
non-standard analysis
Reverse mathematics
Riemann mapping theorem
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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)
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.200610033