Skip to main content
SpringerLink
Log in

Complex analysis in subsystems of second order arithmetic

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ahlfors L.V. (1966) Complex Analysis, 2nd edn. McGraw-Hill, New York

    MATH  Google Scholar 

  2. Hardin C.S., Velleman D.J. (2001) The mean value theorem in second order arithmetic. J. Symbolic Logic 66, 1353–1358

    Article  MathSciNet  Google Scholar 

  3. 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

    Article  MathSciNet  Google Scholar 

  4. Sakamoto, N., Yokoyama, K.: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (preprint)

  5. Shioji N., Tanaka K. (1990) Fixed point theory in weak second-order arithmetic. Ann. Pure Appl. Logic 47, 167–188

    Article  MathSciNet  Google Scholar 

  6. Simpson S.G. (1999) Subsystems of Second Order Arithmetic. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

  7. Tanaka K. (2002) Logic of Arithmetic – Formal System and Non-standard Models (Japanese). Shokabo, Tokyo

    Google Scholar 

  8. Yokoyama, K.: Differential calculus and complex analysis in subsystems of second order arithmetic. Master Thesis, Tohoku University, February 2005

  9. Yokoyama, K.: Differential calculus in second order arithmetic. In: Kôkyûroku (Proceedings) 1442, 122–148. Research Institute for Mathematical Sicences, Kyoto University (2005)

  10. Yu X., Simpson S.G. (1990) Measure theory and weak König’s lemma. Arch. Math. Logic 30, 171–180

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, Tohoku University, Sendai, 980-8578, Japan

    Keita Yokoyama

Authors
  1. Keita Yokoyama
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Keita Yokoyama.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-006-0017-z

Keywords

Search

Navigation