Pages that link to "Item:Q1109029"
From MaRDI portal
The following pages link to A new system of proof-theoretic ordinal functions (Q1109029):
Displayed 34 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Analysis of a Double Kruskal Theorem (Q2951923) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Upper Bounds on the Graph Minor Theorem (Q3295150) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Generalizations of the Kruskal-Friedman theorems (Q3491541) (← links)
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen (Q3718711) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Natural well-orderings (Q3772212) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
- (Q5009706) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
- Meeting of the Association for Symbolic Logic (Q5903782) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)