Slow consistency
From MaRDI portal
Publication:1935874
DOI10.1016/j.apal.2012.11.009zbMath1263.03055OpenAlexW4206512100WikidataQ60500825 ScholiaQ60500825MaRDI QIDQ1935874
Michael Rathjen, Andreas Weiermann, Sy-David Friedman
Publication date: 19 February 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2012.11.009
consistency strengthPeano arithmeticinterpretationslow consistencyfast-growing functionOrey sentence
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
Related Items (12)
Franco Montagna's work on provability logic and many-valued logic ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ Slow reflection ⋮ Short proofs for slow consistency ⋮ Hyperations, Veblen progressions and transfinite iteration of ordinal functions ⋮ Transductions in arithmetic ⋮ ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ Proof lengths for instances of the Paris-Harrington principle ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ A note on the consistency operator
This page was built for publication: Slow consistency
