Abstract
This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo.
Similar content being viewed by others
References
Ahlfors L.V. (1966) Complex Analysis, 2nd edn. McGraw-Hill, New York
Hardin C.S., Velleman D.J. (2001) The mean value theorem in second order arithmetic. J. Symbolic Logic 66, 1353–1358
Sakamoto N., Tanaka K. (2004) The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic. Arch. Math. Logic 43, 337–349
Sakamoto, N., Yokoyama, K.: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (preprint)
Shioji N., Tanaka K. (1990) Fixed point theory in weak second-order arithmetic. Ann. Pure Appl. Logic 47, 167–188
Simpson S.G. (1999) Subsystems of Second Order Arithmetic. Springer, Berlin Heidelberg New York
Tanaka K. (2002) Logic of Arithmetic – Formal System and Non-standard Models (Japanese). Shokabo, Tokyo
Yokoyama, K.: Differential calculus and complex analysis in subsystems of second order arithmetic. Master Thesis, Tohoku University, February 2005
Yokoyama, K.: Differential calculus in second order arithmetic. In: Kôkyûroku (Proceedings) 1442, 122–148. Research Institute for Mathematical Sicences, Kyoto University (2005)
Yu X., Simpson S.G. (1990) Measure theory and weak König’s lemma. Arch. Math. Logic 30, 171–180
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Yokoyama, K. Complex analysis in subsystems of second order arithmetic. Arch. Math. Logic 46, 15–35 (2007). https://doi.org/10.1007/s00153-006-0017-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-006-0017-z