Variation on a theme of Schütte

DOI10.1002/malq.200310097zbMath1049.03039OpenAlexW2064334650MaRDI QIDQ4736753

Gerhard Jäger, Dieter Probst

Publication date: 6 August 2004

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310097

zbMATH Keywords

proof-theoretic strengthProof theorytransfinite induction

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)

Related Items

The provably terminating operations of the subsystem PETJ of explicit mathematics, On the relationship between fixed points and iteration in admissible set theory without foundation, The proof-theoretic analysis of transfinitely iterated quasi least fixed points