Lemma I.13.19 on Kunen's set theory
32965
Proving that for infinite $\kappa$, $|[\kappa]^\lambda|=\kappa^\lambda$
30587
Uncountable well ordered set in $Z^-$ theory.
78228
Hausdorff Maximal Principle and Axiom of Choice
61747
Proof of exchange principle in set theory
144572
Proof that ideals in $C[0,1]$ are of the form $M_c$ that should not involve Zorn's Lemma
52451
Ordered Triples and Set Theory
60674
Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma
18364
When does the set enter set theory?
150385
The use of the Axiom of Choice in this proof of the sequence lemma
53593
Limits of sequences of sets
33157
Proof that an infinite subset of $\mathbb{N}$ is countable
33563
Is the axiom of choice used in the proof that every open set is the union of basis elements (Mukres, Lemma 13.1)
98580
Lebesgue-measurable sets requiring the Axiom of Choice to construct
13779
Canonical copies of sets
110957
No non-trivial clopen sets in $\mathbb{R}$? How to give a direct proof?
99464
Proof Concerning Indexed family of Sets and Intervals
96892
Number of Non-isomorphic models of Set Theory