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

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!