Model checking in finite fields and finite groups

Samuel Braunfeld

We prove the following results. 1. First order model checking is fixed-parameter tractable on the class of finite fields, as a corollary of results of Ax on the theory of (pseudo)f…