Non-standard analysis in ACA0 and Rieman
✍
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