The following pages link to Proof theory and ordinal analysis (Q2276954):
Displaying 28 items.
- Proof-theoretic analysis of KPM (Q803124) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- Proof theory. The first step into impredicativity (Q930618) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Proof theory. An introduction (Q1801306) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Transfinite update procedures for predicative systems of analysis (Q2915671) (← links)
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- (Q4793023) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- How to characterize provably total functions by local predicativity (Q4879900) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Hilbert’s Programme and Ordinal Analysis (Q5221861) (← links)
- Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255) (← links)
