Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626)

The paper is devoted to the development of nonstandard analysis in systems of nonstandard second-order arithmetic. Some nonstandard axioms like the standard part principle and the transfer principle are used. In this way some nonstandard proofs in ns-ACA\(_{0}\) and ns-WKL\(_{0}\) for some standard theorems are done. Also reverse mathematics for nonstandard analysis is done -- more exactly, reverse mathematics for some nonstandard counterparts of standard theorems. A nonstandard technique is applied to a version of Riemann's mapping theorem. It is shown that Riemann's mapping theorem for a polygonal domain is provable within RCA\(_{0}\) and that for a Jordan region it is equivalent to WKL\(_{0}\).