Galois Stratification over Finite Fields
Chapter 25 gives the Galois stratification procedure over a fixed field K with elimination theory. The outcome is an explicit decision procedure for the theory of Frobenius fields that contain K. Section 26.1 modifies this to replace K by localizations ℤ [k −1]of ℤ. This, in particular, extends the above result to establish an explicit decision procedure for the theory of all Frobenius fields.
Unable to display preview. Download preview PDF.
- [Kf]K. Kiefe, Sets definable over finite fields: Their zeta functions, Transactions of AMS 223 (1976), 45–59Google Scholar