Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Singularities of Holomorphic Functions in Subsystems of Second Order Arithmetic

Edit abstract data

Author(s): Yoshihiro Horihata and Keita Yokoyama
Slot: Tue, 11:20-11:40, Amphitheater A (col. 1)


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.

websites: Arnold Beckmann 2008-05-19 Valid HTML 4.01! Valid CSS!