Incompleteness of $(C[a,b], \| \cdot \|_1)$
86717
Completeness of $\langle \mathscr{C} [0, 1], \| \cdot \|_1 \rangle$
146455
Compactness of the set of all unitary matrices in $M_2(\mathbb{C})$
50099
Example of incomplete, but decidable theory, and of complete and undecidable theory, question
120010
Show that $\aleph_{\alpha}^{\aleph_{1}} = \aleph_{\alpha}^{\aleph_{0}}\cdot 2^{\aleph_1}$
102084
How to show path-connectedness of $GL(n,\mathbb{C})$
8589
$\sqrt[b_1]{a_1}+\sqrt[b_2]{a_2}+\cdots+\sqrt[b_k]{a_k}$ not an integer
119003
Complement of $c_{0}$ in $\ell^{\infty}$
150011
Proof completeness of $(X,d)$ given $d$ is French railway metric
73869
$\mathcal{C}_1 \subseteq \mathcal{C}_2 \implies \sigma( \mathcal{C}_1) \subseteq \sigma( \mathcal{C}_2) $
4163
Schauder basis of $(c,\|\cdot\|_{\infty})$
78031
$c\mid a,b\iff c\mid\gcd(a,b)$ [GCD Universal Property]
77791
Proving an inclusion related to algebraic sets and interpreting it
4498
Proof that $\|fx\| \leq \|f\|\cdot\|x\|$
151520
About the parity of the product $(a_1-1)(a_2-2)\cdots(a_n-n)$
33642
Finite dimensional subspace of $C([0,1])$
125161
Why is the Cartesian product of $A$ and $\varnothing$ empty?
86105
Can $\{(f(t),g(t)) \mid t\in [a,b]\}$ cover the entire square $[0,1] \times [0,1]$ ?