The following pages link to (Q4081251):
Displaying 12 items.
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Toward a modal-structural interpretation of set theory (Q1202500) (← 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)
- Naive infinitism: the case for an inconsistency approach to infinite collections (Q2345398) (← links)
- Set theory and the analyst (Q2419681) (← links)
- CANTORIAN SET THEORY (Q4647016) (← links)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY (Q5037521) (← links)
- AGAINST CUMULATIVE TYPE THEORY (Q5046602) (← links)
- LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS (Q5067870) (← links)