The following pages link to Set-theoretic foundations (Q5351860):
Displayed 10 items.
- Ideal objects for set theory (Q2144207) (← links)
- Epistemic injustice in mathematics (Q2690220) (← links)
- A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT (Q5857719) (← links)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)
- Maddy On The Multiverse (Q6075421) (← links)
- Set Theory and Structures (Q6075428) (← links)
- What Do We Want a Foundation to Do? (Q6075431) (← links)
- Foundations for the Working Mathematician, and for Their Computer (Q6075436) (← links)
- Category theory in Isabelle/HOL as a basis for meta-logical investigation (Q6118814) (← links)
- Hierarchical multiverse of sets (Q6123819) (← links)