Pseudofinite fields, procyclic fields and model-completion
Allan Adler, Catarina I. Kiefe · Pacific Journal of Mathematics · 1976
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.