𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Non-standard analysis in ACA0 and Riemann mapping theorem

✍ Scribed by Keita Yokoyama

Book ID
102485076
Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
241 KB
Volume
53
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

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 ACA~0~, 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 ACA~0~ over WKL~0~. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Non-standard Analysis in WKL0
Non-standard Analysis in WKL0
✍ Kazuyuki Tanaka 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 259 KB

## Abstract Within a weak subsystem of second‐order arithmetic WKL~0~, we develop basic part of non‐standard analysis up to the Peano existence theorem.