Pages that link to "Item:Q5404160"
From MaRDI portal
The following pages link to A cumulative hierarchy of sets for constructive set theory (Q5404160):
Displaying 7 items.
- Stratified and positive comprehension seen as superclass rules over ordinary set theory (Q3472094) (← links)
- (Q3645585) (← links)
- (Q4335236) (← links)
- The cumulative hierarchy and the constructible universe of ZFA (Q4458705) (← links)
- THE POTENTIAL HIERARCHY OF SETS (Q4928771) (← links)
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS (Q5037520) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)