Schroder-Bernstein Theorem using AC
132046
Looking for Cantor's original proof of the Cantor-Bernstein theorem that relies on the axiom of choice?
34865
prove Eckart-Young-Minsky theorem for Frobinius norm.
52103
Use Stokes's Theorem to show $\oint_{C} y ~dx + z ~dy + x ~dz = \sqrt{3} \pi a^2$
83166
Homeomorphism(topological spaces) version of Cantor–Bernstein–Schroeder theorem
68255
Theorems in complex analysis.
56320
Prove that the circumradius of $\triangle PAB$ is constant
102464
Prove $R < ( 1 + (\sum |a_{i}|^{p} )^{q/p})^{1/q}$ for absolute value of polynomial zeros
113614
Approximating the density of $S\cap[a,b]$ using a Folner Sequence of $A$, where $S \subseteq A$?
70438
Generalize Clairaut-Schwarz theorem to arbitrary order of mixed partial derivatives
56143
Proof of a basic $AC_\omega$ equivalence
81879
$Av=λv$ basis proof problems
81895
A generalisation of the fundamental theorem of algebra
57838
Dirichlet approximation theorem proof
114777
Using Rouché's theorem to bound zeroes of partial sums of $e^z$
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
43490
Deriving Bloch's Theorem
65700
Deriving Birkhoff's Theorem