Consistency proof via pointwise induction

DOI10.1007/S001530050089MaRDI QIDQ1128178zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 10 August 1998

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

Full work available at URL https://doi.org/10.1007/s001530050089

zbMATH Keywords

consistencyHoward ordinalpointwise inductionreductive proof theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Gentzen's consistency proof in context
• The \(\omega\)-consistency of elementary analysis
• Gentzen's consistency proofs for arithmetic

Cited in

(9)

• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• The \(\omega\)-consistency of elementary analysis
• Iterated local reflection versus iterated consistency
• Inductive definitions over a predicative arithmetic
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Variations on a theme by Weiermann
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• Intuitionistic fixed point theories over set theories
• Reduction of higher type levels by means of an ordinal analysis of finite terms

This page was built for publication: Consistency proof via pointwise induction

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