Edit abstract data
We study complex analysis in the context of weak subsystems of second order
We are mainly concerned with integrability and singularities of holomorphic
Then, we develop a part of complex analysis concerned with Picard's little
We show that Picard's little theorem is provable from WKL_0 plus a version
of the Riemann mapping theorem.
Since a full version of the Riemann mapping theorem is provable in ACA_0, we can
prove Picard's little theorem in ACA_0.