The following pages link to An ω-hierarchy of axiom systemZF (Q3197817):
Displaying 5 items.
- A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081) (← links)
- A hierarchy of axiom system ACG (Q1264145) (← links)
- On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\) (Q2705152) (← links)
- The cumulative hierarchy and the constructible universe of ZFA (Q4458705) (← links)
- Models of Second-Order Zermelo Set Theory (Q4940733) (← links)