Proving that $ ^\mathbb{Q}\mathbb{R}$~$\mathbb{R}$ using Cantor-Bernstein
15909
Bijection from $\mathbb R$ to $\mathbb {R^N}$
134310
Minkowski sum of a positive Lebesgue measure set and $\mathbb{Q}$.
134104
Is there a Cantor-Schroder-Bernstein statement about surjective maps?
157924
$\forall x\in\mathbb{N}[(\exists y\in\mathbb{N}(2\leq y\land y<x\land y\ |\ x))\to(\exists z\in\mathbb{N}(2\leq z\land z\leq\sqrt x\land z\ |\ x))]$
50137
Using Cantor's lemma in a proof of convergence
29965
Proving that $m+n\sqrt{2}$ is dense in $\mathbb R$
34177
Prove that $\mathbb{R}^2\setminus\mathbb{Q}^2$ is connected without path connectedness
98816
How to prove that $\{f+g<a\}=\bigcup_{r\in{\Bbb Q}}(\{f<r\}\cap\{g<a-r\})$?
20467
Show that $(y_n)\in l^q$
152297
Understanding quotients of $\mathbb{Q}[x]$
3296
Proof That $\mathbb{R} \setminus \mathbb{Q}$ Is Not an $F_{\sigma}$ Set
68490
For $x\in\mathbb R\setminus\mathbb Q$, the set $\{nx-\lfloor nx\rfloor: n\in \mathbb{N}\}$ is dense on $[0,1)$
81302
Showing that $a_n \in \ell^{\infty}$
154240
Inverse of Heine–Cantor theorem
31710
Show that $\mathcal{J}=\{[a, a+1) \mid a \in \mathbb{R}\}$ generates the Borel set of $\mathbb{R}$
111944
Do Cantor's Theorem and the Schroder-Bernstein Theorem Contradict?
102972
Cardinality of $\mathbb{R}^\mathbb{R}$ by diagonal argument