Yoneda Lemma and foundations
36139
Size of a natural transformation and the Yoneda Lemma
103662
How to prove that $B^\vee$ is a base for coroots?
119256
Function $f\in M[G]$, $f:\kappa\to M$ is in the ground model implies $\kappa^+$-Baire
109926
Axiom of Regularity and infinite sequences
47143
Push forward of the structure sheaf along covering
52451
Ordered Triples and Set Theory
113182
Applying Zorn's lemma
103427
When is $\operatorname{Hom}_A(M,N)$ finitely generated?
115224
Equivalences of $\diamondsuit$-principle.
56143
Proof of a basic $AC_\omega$ equivalence
151707
Fatou's lemma and measurable sets
140741
Generalized Tube Lemma
12404
Union of definable sets
723
Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$?
12104
How to prove this result involving the quotient maps and connectedness?
81895
A generalisation of the fundamental theorem of algebra
144362
The construction of a Vitali set