Fields with characteristic 0 are not finitely axiomatizable in FOPC
96355
What is the first order axiom characterizing a field having characteristic zero?
103948
Minimal polynomial is invariant under field extensions
111347
Finding an example of field extensions satisfying certain properties
64068
Is every finite Galois extension of $\mathbb{Q}_p$ the completion of a number field at some valuation?
148118
Prove that field of complex numbers cannot be equipped with an order relation
78143
Proving $\mathbb{F}_p/\langle f(x)\rangle$ with $f(x)$ irreducible of degree $n$ is a field with $p^n$ elements
59882
is it possible for two fields with the same characteristic to not be isomorphic?
40041
Proof of Non-Ordering of Complex Field
66355
A sufficient condition for irreducibility of a polynomial in an extension field.
70776
Characteristic of a field is $0$ or prime
7010
Example of two non-isomorphic fields which embed inside each other
27689
Separability over intersection of intermediate fields
34740
Do finite algebraically closed fields exist?
93111
Finiteness of the Algebraic Closure
150605
Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$
55764
Algebraic closure of $\mathbb F_p$
5035
Can unprovability unprovable? Is there an $\omega$-fold unprovability?