In ZFC, is the Axiom of Power Sets implied by the principle of restricted comprehension?
72621
ZF: Difference between POW and SEP?
29744
Compactness and axiomatisability
136835
ZF Set Theory - If $|A|^{|B|} = |B|$, then $|A| = 1 = |B|.$
130771
Sets and the principle of inclusion and exclusion
87830
Relating the union of the power set of a set to the set itself
157490
Statements equivalent to the Axiom of Choice
106670
Existence of vector space complement and axiom of choice
62936
Proving equivalencies of two versions of the Axiom of Choice
140662
Powers of infinite cardinals in the generic extension
104550
Countable union of countable sets(ZF)
3465
Equivalence relations and power sets.
154230
In $\mathsf{ZF}$, for each set $A$ exists an ordinal $\alpha$ such that no surjection $A\to \alpha$ exists
149926
ZFC with class terms: is any set also a class?
78290
Countable axiom of choice: why you can't prove it from just ZF
50506
What concept does an open set axiomatise?
31212
The existence of the empty set is an axiom of ZFC or not?
60216
Power Set Explanation