Pseudofinite fields, procyclic fields and model-completion
Pseudofinite fields, procyclic fields and model-completion
In this paper, it is shown that the theory of pseudofinite fields is, with respect to a suitable language, the model completion of the theory of procyclic fields.Also, procyclic fields are characterized as the class of relatively algebraically closed subfields of pseudofinite fields.