The following pages link to (Q5761848):
Displaying 12 items.
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- Against naturalized cognitive propositions (Q1707202) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- What did Frege take Russell to have proved? (Q2695175) (← links)
- Category Theory and Philosophy (Q3296107) (← links)
- Explaining Maximality Through the Hyperuniverse Programme (Q3305411) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- Cycling in proofs and feasibility (Q4942870) (← links)
- (Q5652656) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896080) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896167) (← links)
- On set theories and modernism (Q6623918) (← links)
