The following pages link to Slim models of Zermelo set theory (Q2747699):
Displayed 9 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- Rudimentary recursion, gentle functions and provident sets (Q2345391) (← links)
- Mathias and set theory (Q2813682) (← links)
- Mathematical Existence (Q3370612) (← links)
- Zermelo and Set Theory (Q4678931) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Zermelo and Set Theory (Q5717235) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)