Consistency proof via pointwise induction

DOI10.1007/s001530050089zbMath0908.03052OpenAlexW2062790079MaRDI QIDQ1128178

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)

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