Pages that link to "Item:Q1281440"
From MaRDI portal
The following pages link to Finite functions and the necessary use of large cardinals (Q1281440):
Displaying 16 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Complexity classes as mathematical axioms (Q731212) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Necessary uses of abstract set theory in finite mathematics (Q1088658) (← links)
- Subtle cardinals and linear orderings (Q1840455) (← links)
- On a Diophantine representation of the predicate of provability (Q2253864) (← links)
- The prospects for mathematical logic in the twenty-first century (Q2736583) (← links)
- Update procedures and the 1-consistency of arithmetic (Q2776806) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- The PCF conjecture and large cardinals (Q3503761) (← links)
- On a question of Andreas Weiermann (Q3619872) (← links)
- (Q4037025) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- Gödel's Program Revisited Part I: The Turn to Phenomenology (Q5754717) (← links)
- Does mathematics need new axioms? (Q5890202) (← links)
- In memoriam: Kenneth Jon Barwise, 1942--2000 (Q5890203) (← links)