Pages that link to "Item:Q1006619"
From MaRDI portal
The following pages link to Phase transitions for Gödel incompleteness (Q1006619):
Displaying 9 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- Unprovability threshold for the planar graph minor theorem (Q638483) (← links)
- Phase transitions of iterated Higman-style well-partial-orderings (Q661281) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions (Q5441122) (← links)
- Well partial orders (Q6612816) (← links)