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 functionsholomorphic functionsreverse mathematicssecond-order arithmeticCauchy's integral theoremMorera's theorem

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3248210 (Why is no real title available?)
• Fixed point theory in weak second-order arithmetic
• 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)

• The mean value theorem in second order arithmetic
• The Riemann integral in weak systems of analysis
• ERNA and Friedman's Reverse Mathematics
• Non-standard analysis in ACA0 and Riemann mapping theorem
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Standard and non-standard analysis in second order arithmetic
• 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)