Separable extension iff $\Omega_{E/F}=0$?
130186
Zero module of differentials implies finite extension?
127622
Does there exist a $1$-form $\alpha$ with $d\alpha = \omega$?
106238
non-forking extension is equivalent to sameness of morley rank
132423
Non trivial valuation over a finite extension $F/\mathbb{Q}_p$ is equivalent to the one induced by $v_p$
41505
Transcendental Extensions. $F(\alpha)$ isomorphic to $F(x)$
122845
Does an inseparable extension have a purely inseparable element?
128550
Algebraic field extension and intermediate integral domain
883
$K(u,v)$ is a simple extension of fields if $u$ is separable
149822
If $\omega \in \Omega^q(M)$, and $(\omega|_{U})_p = 0$, is $\omega_p = 0$?
17733
$X$ second countable locally compact Hausdorff implies $C(X)$ separable?
132824
Does $f$ monotone and $f\in L_{1}([a,\infty))$ imply $\lim_{t\to\infty} t f(t)=0$?
112008
Ordinal $\omega_1$ is not compact
104354
What is the relation between normal extension and separable extension?
68753
Elements in finite field extensions
108642
$e^A$, where $A= \begin{bmatrix} 0 & \omega \\ -\omega& 0 \end{bmatrix}$
134859
Let $(X, \mathcal{T})$ be a metrizable space. Prove that $X$ Lindelöf implies that $X$ is separable.
124861
The extension of smooth function