Nonstandard second-order arithmetic and Riemann's mapping theorem

Yoshihiro Horihata, Keita Yokoyama

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)520-551
Number of pages32
JournalAnnals of Pure and Applied Logic
Issue number2
Publication statusPublished - 2014 Feb


  • Nonstandard analysis
  • Reverse mathematics
  • Riemann's mapping theorem
  • Second-order arithmetic


Dive into the research topics of 'Nonstandard second-order arithmetic and Riemann's mapping theorem'. Together they form a unique fingerprint.

Cite this