Every hyper - finite field is a pseudo-finite field .
Is in particular a model for the first - order theory of finite fields .
Every hyper - finite field is a pseudo-finite field , and is in particular a model for the first - order theory of finite fields .