Tarski-Grothendieck set theory
136613
Does TG prove that ZFC2 has a model?
102202
The smallest infinity and the axiom of choice
53593
Limits of sequences of sets
2334
Best book on axiomatic set theory.
70940
Homework - set theory infinite union
45792
Rigorous proof that surjectivity implies injectivity for finite sets
20706
Non-existence of a Surjective Function from a Set to Its Subsets (Cantor's theorem)
140662
Powers of infinite cardinals in the generic extension
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
30587
Uncountable well ordered set in $Z^-$ theory.
61747
Proof of exchange principle in set theory
122506
Relation on countable sets
115675
Strange consequences of Axiom of Choice in Zermelo set theory
156161
Banach-Tarski theorem without axiom of choice
136094
$G_\delta$ singletons in compact Hausdorff and first countability
12404
Union of definable sets
272
Cantor Sets/nonempty/cardinality