How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
From MaRDI portal
Publication:4304798
DOI10.1002/malq.19930390107zbMath0803.03036OpenAlexW2056982752MaRDI QIDQ4304798
Publication date: 3 January 1995
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390107
Related Items
Proof theory of reflection, The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity, Ordinal arithmetic based on Skolem hulling, Relativized ordinal analysis: the case of power Kripke-Platek set theory, Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory, An ordinal analysis of stability, An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension, Accessible Recursive Functions, Theories and ordinals in proof theory, Pure \(\Sigma_2\)-elementarity beyond the core, Well-ordering proofs for Martin-Löf type theory, A Glimpse of $$ \sum_{3} $$-elementarity, Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Cites Work
