All Questions

Let's recall that: (1): The Ax-Kochen principle says that if $\mathcal{U}$ is a non-principal ultrafilter over prime numbers, then $\prod_{\mathbb{U}} \mathbb{F}_p((t)) \equiv \prod_{\mathbb{U}} \...

Perhaps the most successful attempt at analyzing first order theory of p-adic fields is through the use of RV language (aka. leading term structure). In this, quantifier elimination on the field sort ...

Suppose that we have a first order language $\mathcal{L}$ that extends the language of rings. Let $T$ a be a topological $\mathcal{L}$-theory of fields in the sense of Pillay.. this means that not ...