Pages that link to "Item:Q2566073"
From MaRDI portal
The following pages link to Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073):
Displaying 13 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- Sharp thresholds for hypergraph regressive Ramsey numbers (Q618311) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- Classifying the phase transition threshold for Ackermannian functions (Q1012327) (← links)
- Analyzing Nash-Williams' partition theorem by means of ordinal types (Q1191918) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679) (← links)
- (Q3079699) (← links)
- Classifying the Provably Total Functions of PA (Q3430936) (← links)
- Phase Transitions for Weakly Increasing Sequences (Q3507431) (← links)
- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (Q3576063) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- Laver's results and low-dimensional topology (Q5964930) (← links)