The following pages link to (Q5489367):
Displaying 22 items.
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Dynamic ordinal analysis (Q1407595) (← links)
- A note on Gentzen's ordinal assignment (Q1734262) (← links)
- Mathematical proof theory in the light of ordinal analysis (Q1868167) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- The good, the bad and the ugly: ordinal and symbolic whisky analysis (Q2741307) (← links)
- \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic (Q2862108) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- (Q5009706) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- Theories and Ordinals: Ordinal Analysis (Q5425365) (← links)
- The logical strength of minimal bad arrays (Q6658147) (← links)
