Pages that link to "Item:Q5275699"
From MaRDI portal
The following pages link to First-Order Modal Theories I--Sets (Q5275699):
Displaying 7 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Modal logic and model theory (Q1080411) (← links)
- Explanatory asymmetries, ground, and ontological dependence (Q1706777) (← links)
- Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation (Q2055919) (← links)
- Extensionalizing intensional second-order logic (Q2345400) (← links)
- ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)