Complex analysis in subsystems of second order arithmetic

DOI10.1007/S00153-006-0017-ZzbMath1112.03053OpenAlexW2039034939MaRDI QIDQ866888

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

Mathematics Subject Classification ID

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

Related Items (3)

Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Non-standard analysis in ACA0 and Riemann mapping theorem

Cites Work

• Unnamed Item
• Unnamed Item
• The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic
• The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
• Fixed point theory in weak second-order arithmetic
• Measure theory and weak König's lemma
• The mean value theorem in second order arithmetic

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