Complex analysis in subsystems of second order arithmetic

DOI10.1007/S00153-006-0017-ZMaRDI QIDQ866888zbMATH OpenOpenAlexFDO

Authors Keita Yokoyama

Publication date 14 February 2007

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-006-0017-z

zbMATH Keywords

analytic functionsCauchy's integral theoremholomorphic functionsMorera's theoremreverse mathematicssecond-order arithmetic

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Review text

This article, based on the author's masters thesis, formulates several theorems of complex analysis and analyzes them in the framework of reverse mathematics. The code for a holomorphic function includes its derivative, and the code for an analytic function includes its power series expansion. Using this encoding, RCA\(_0\) suffices to prove that the class of holomorphic functions and the class analytic functions are identical. The author proves in RCA\(_0\) a version of Cauchy's integral theorem restricted to functions with moduli of uniform continuity, and shows that a more general formulation of Cauchy's integral theorem is equivalent to WKL\(_0\). The article also includes a proof in RCA\(_0\) of Morera's theorem, a number of other results, and a reference to a preprint on a reverse mathematical analysis of the Jordan curve theorem.

Recommendations

• Fundamental notions of analysis in subsystems of second-order arithmetic
• Subsystems of second order arithmetic
• scientific article; zbMATH DE number 5838313
• scientific article; zbMATH DE number 1226875
• scientific article; zbMATH DE number 3895331
• scientific article; zbMATH DE number 1774225
• scientific article; zbMATH DE number 1889799
• scientific article; zbMATH DE number 3247374
• scientific article; zbMATH DE number 4038153

Cites work

• Fixed point theory in weak second-order arithmetic
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3248210 (Why is no real title available?)
• Measure theory and weak König's lemma
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• The mean value theorem in second order arithmetic
• The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic

Cited in

(7)

• Fundamental notions of analysis in subsystems of second-order arithmetic
• The mean value theorem in second order arithmetic
• ERNA and Friedman's Reverse Mathematics
• Standard and non-standard analysis in second order arithmetic
• Non-standard analysis in ACA0 and Riemann mapping theorem
• The Riemann integral in weak systems of analysis
• Nonstandard second-order arithmetic and Riemann's mapping theorem

This page was built for publication: Complex analysis in subsystems of second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866888)