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

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

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

(8)

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

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)