Pages that link to "Item:Q2566073"

The following pages link to Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073):

Displayed 4 items.

• Phase transitions for Gödel incompleteness (Q1006619) ‎ (← links)
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) ‎ (← links)
• Classifying the Provably Total Functions of PA (Q3430936) ‎ (← links)
• Phase Transitions for Weakly Increasing Sequences (Q3507431) ‎ (← links)