Scott showed that ZF minus the axiom of regularity is interpreted by ZF minus the axioms of regularity and extensionality.
Is Ackermann set theory interpreted by Akermann set theory without regularity?
Ackermann set theory without extensionality?
Frode Alfson Bjørdal
- 3.6k
- 1
- 15
- 35