𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Non-standard Analysis in WKL0

✍ Scribed by Kazuyuki Tanaka

Book ID
102487567
Publisher
John Wiley and Sons
Year
1997
Tongue
English
Weight
259 KB
Volume
43
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Non-standard analysis in ACA0 and Rieman
Non-standard analysis in ACA0 and Riemann mapping theorem
✍ Keita Yokoyama 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 241 KB

## 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 argument