scientific article; zbMATH DE number 4197982

MaRDI QIDQ5203004zbMATH OpenFDO

Authors Kazuyuki Tanaka

Publication date 1990

zbMATH Keywords

bibliographyreverse mathematicsset existence axiomsurveyweak subsystem of second order arithmetic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 3924748
• scientific article; zbMATH DE number 1226875
• Fundamental notions of analysis in subsystems of second-order arithmetic
• The Baire category theorem in weak subsystems of second-order arithmetic
• Reverse mathematics. Proofs from the inside out

Cited in

(20)

• Reverse mathematics and its meaning
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Weakly represented families in reverse mathematics
• The Baire category theorem in weak subsystems of second-order arithmetic
• Subsystems of second order arithmetic
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• scientific article; zbMATH DE number 1187191 (Why is no real title available?)
• scientific article; zbMATH DE number 4127166 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 619555 (Why is no real title available?)
• scientific article; zbMATH DE number 2019844 (Why is no real title available?)
• scientific article; zbMATH DE number 1536018 (Why is no real title available?)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• The prehistory of the subsystems of second-order arithmetic
• Equivalence between theorems: the research program of reverse mathematics
• Reverse mathematics. Proofs from the inside out
• scientific article; zbMATH DE number 2236630 (Why is no real title available?)
• scientific article; zbMATH DE number 2236647 (Why is no real title available?)
• Alice’s adventures in inverse tan land – mathematical argument, language and proof
• Fixed point theory in weak second-order arithmetic

This page was built for publication:

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