Consistency proof via pointwise induction
From MaRDI portal
Publication:1128178
DOI10.1007/s001530050089zbMath0908.03052OpenAlexW2062790079MaRDI QIDQ1128178
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
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)
Related Items (4)
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 ⋮ Inductive definitions over a predicative arithmetic ⋮ Variations on a theme by Weiermann
This page was built for publication: Consistency proof via pointwise induction