Pseudofinite fields, procyclic fields and model-completion
scientific article; zbMATH DE number 3529841