The following pages link to Slim models of Zermelo set theory (Q2747699):
Displaying 13 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← 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)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Zermelo and Set Theory (Q5717235) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)
- Independence results for finite set theories in well-founded locally finite graphs (Q6636382) (← links)
