Nonstandard second-order arithmetic and Riemann's mapping theorem

Yoshihiro Horihata, Keita Yokoyama. Nonstandard second-order arithmetic and Riemann's mapping theorem. Annals of Pure and Applied Logic, 165(2):520-551, 2014. [doi]

Abstract

Abstract is missing.