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...

Popoln opis

Bibliografske podrobnosti
Main Authors: Gitman, V, Hamkins, J, Johnstone, T
Format: Journal article
Jezik:English
Izdano: Wiley 2016