Theories of Proof-Theoretic Strength Ψ (ΓΩ +1)

DOI10.1515/9781501502620-007zbMath1433.03137OpenAlexW2313258673MaRDI QIDQ5221836

Ulrik Buchholtz, Thomas Strahm, Gerhard Jäger

Publication date: 3 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/71364/1/BuJaStr_fin.pdf

zbMATH Keywords

unfoldinginductive definitionsproof-theoretic ordinalssubsystems of second order arithmetic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (3)

The Operational Perspective: Three Routes ⋮ Unfolding Schematic Systems ⋮ Reflecting and unfolding

This page was built for publication: Theories of Proof-Theoretic Strength Ψ (Γ_Ω +1)