Model checking in finite fields and finite groups

Abstract

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)finite fields. 2. Every hereditary graph class first order definable in the class of finite groups is monadically stable, and thus has fixed-parameter tractable first order model checking. 3. Monadic second order model checking is not slicewise polynomial on the class of cyclic groups of prime-power order, unless E = NE.

7 pages; removed unproven claims and simplified MSO axiomatization of finite fields