Pages that link to "Item:Q1210137"
From MaRDI portal
The following pages link to Proof-theoretic investigations on Kruskal's theorem (Q1210137):
Displaying 50 items.
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- Equivalence between Fraïssé's conjecture and Jullien's theorem (Q2368905) (← 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)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Theorems as Constructive Visions (Q2915840) (← links)
- Analysis of a Double Kruskal Theorem (Q2951923) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders (Q3295145) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
- On the Equimorphism Types of Linear Orderings (Q3594486) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- An application of graphical enumeration to PA * (Q4457723) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
- From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
- (Q5009706) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie (Q5013915) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Labelled well-quasi-order for permutation classes (Q5051473) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- (Q5101339) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- The length of an intersection (Q5108104) (← links)
- Computable aspects of the Bachmann–Howard principle (Q5118047) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)