This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (December 2012) ( Learn how and when to remove this message)

In mathematics, a pseudo-finite field F is an infinite model of the first-order theory of finite fields. This is equivalent to the condition that F is quasi-finite (perfect with a unique extension of every positive degree) and pseudo algebraically closed (every absolutely irreducible variety over F has a point defined over F). Every hyperfinite field is pseudo-finite and every pseudo-finite field is quasifinite. Every non-principal ultraproduct of finite fields is pseudo-finite.

Pseudo-finite fields were introduced by Ax ( 1968).

References

• Ax, James (1968), "The Elementary Theory of Finite Fields", Annals of Mathematics, Second Series, 88 (2), Annals of Mathematics: 239–271, doi: 10.2307/1970573, ISSN  0003-486X, JSTOR  1970573, MR  0229613, Zbl  0195.05701
• Fried, Michael D.; Jarden, Moshe (2008), Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, vol. 11 (3rd revised ed.), Springer-Verlag, pp. 448–453, ISBN  978-3-540-77269-9, Zbl  1145.12001