What is the theory ZFC without power set?
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom removed—specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be well-ordered—is weaker than commonly supposed and...
| Hauptverfasser: | , , |
|---|---|
| Format: | Journal article |
| Sprache: | English |
| Veröffentlicht: |
Wiley
2016
|