Effective counting of the points of definable sets over finite fields (Q1320030)

A theorem generalizing the Lang-Weil estimates for the number of rational points of a variety over a finite field is proved by model-theoretic methods in [\textit{Z. Chatzidakis}, \textit{L. van den Dries} and \textit{A. Macintyre}, J. Reine Angew. Math. 427, 107-135 (1992; Zbl 0759.11045)]. The paper under review gives an algebraic proof of the theorem. An algorithm is constructed to find formulas and constants occurring in the theorem. The authors use Galois stratification as the main tool in their investigations. For the convenience of the reader the notion of a ring cover and the Artin symbol are defined and their basic properties are stated. A section of a paper is dedicated to some basic definitions and concepts from algebraic geometry. There exist several slightly different definitions of Galois stratification. The authors use the version of \textit{M. D Fried} and \textit{M. Jarden} [Field arithmetic (1986; Zbl 0625.12001)]. Another important tool in the paper is a non-regular analog of the Chebotarev density theorem.