Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424794 | Annals of Pure and Applied Logic | 2014 | 32 Pages |
Abstract
In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Yoshihiro Horihata, Keita Yokoyama,