0c9bb612f6438e11.tex
1: \begin{abstract}
2:   If $C$ is a curve over $\Qq$ with genus at least $2$ and $C(\Qq)$ is empty, then the class
3:   of fields $K$ of characteristic 0 such that $C(K) = \varnothing$ has
4:   a model companion, which we call $C\XF$.  The theory $C\XF$ is not complete, but we characterize the completions.  Using $C\XF$, we produce
5:   examples of fields with interesting combinations of properties.  For
6:   example, we produce (1) a model-complete field with unbounded Galois
7:   group, (2) an infinite field with a decidable first-order theory
8:   that is not ``large'' in the sense of Pop, (3) a field that is
9:   algebraically bounded but not ``very slim'' in the sense of Junker
10:   and Koenigsmann, and (4) a pure field that is strictly NSOP$_4$, i.e.,
11:   NSOP$_4$ but not NSOP$_3$.  Lastly, we give a new construction
12:   of fields that are virtually large but not large.
13: \end{abstract}
14: