pith. sign in

arxiv: 1809.00440 · v3 · pith:PFA7SNR3new · submitted 2018-09-03 · 🧮 math.AG

Distinguishing every finitely generated field of characteristic neq2 by a single field axiom

classification 🧮 math.AG
keywords fieldfinitelygeneratedeveryfieldsistpneq2single
0
0 comments X
read the original abstract

We show that the isomorphy type of every finitely generated field $K$ with $\chr(K)\neq2$ is encoded by a \textit{\textbf{single\ha3explicit\ha3axiom}} $\istp K\!$ \textit{\textbf{in\ha3the\ha3language\ha3of\ha3fields}}, i.e., for all finitely generated fields $L$ one has: $\istp K$ holds in $L$ if and only if $K\cong L$ as fields. This extends earlier results by \nmnm{\footnotesize\sc Julia Robinson, Rumely, Poonen, Scanlon}, the author, and others.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.