L:K algebraic and separable then [L:K] $\leq$ n
109034
Does a finite $[E:K]_s$ imply that $[E_s:K]$ is finite?
125623
Subspaces of separable normed spaces
73174
Prove $KN\cong K\times N$ if $K\cap N=\{e\}$
49438
Prove that $X^\ast$ separable implies $X$ separable
75614
Proving that $n|m\implies f_n|f_m$
28658
$R$ with an upper bound for degrees of irreducibles in $R[x]$
146664
The union of two linearly independent subsets
2287
If a set is linearly independent, a finite subset of that set is also linearly independent
134859
Let $(X, \mathcal{T})$ be a metrizable space. Prove that $X$ Lindelöf implies that $X$ is separable.
92534
Prove that any finite subset of a linearly independent set is linearly independent
139874
If $X^\ast $ is separable $\Longrightarrow$ $S_{X^\ast}$ is also separable
93111
Finiteness of the Algebraic Closure
70067
Asymptotics of $\max\limits_{1\leqslant k\leqslant n}X_k/n$
101486
Understanding that $A = \{x\in \ell_2: |x_n| \leq \frac{1}{n}, n = 1,2,...\}$ is compact in $l_2$.
107641
Show that an infinite set of families are linearly independent
17733
$X$ second countable locally compact Hausdorff implies $C(X)$ separable?
102529
Prove that the set $\left\{ x, Ax, \dots, A^{k-1} x \right\}$ is linearly independent