The following pages link to Does Mathematics Need New Axioms? (Q5890203):
Displaying 10 items.
- Multiverse conceptions in set theory (Q510715) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- The role of axioms in mathematics (Q948978) (← links)
- What is so special with the powerset operation? (Q1882625) (← links)
- Arithmetic is determinate (Q2078980) (← links)
- Die another day (Q2272192) (← links)
- Mathematical determinacy and the transferability of aboutness (Q2460192) (← links)
- Multiverse Conceptions in Set Theory (Q3305406) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
