Pages that link to "Item:Q4940733"
From MaRDI portal
The following pages link to Models of Second-Order Zermelo Set Theory (Q4940733):
Displaying 11 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Iteration one more time (Q558731) (← links)
- Bad company generalized (Q1036089) (← links)
- Categoricity theorems and conceptions of set (Q1610616) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Slim models of Zermelo set theory (Q2747699) (← links)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- MODAL STRUCTURALISM AND REFLECTION (Q5216972) (← links)
- (Q5750853) (← links)
- Models of \textsf{ZFA} in which every linearly ordered set can be well ordered (Q6077948) (← links)