The following pages link to (Q5489367):
Displaying 11 items.
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← 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)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← 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)
