Pages that link to "Item:Q1281440"
From MaRDI portal
The following pages link to Finite functions and the necessary use of large cardinals (Q1281440):
Displayed 12 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Complexity classes as mathematical axioms (Q731212) (← links)
- The metamathematics of ergodic theory (Q1006602) (← 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)
- (Q2776806) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← 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)
- Does Mathematics Need New Axioms? (Q5890203) (← links)