Model theory of finite fields and pseudo-finite fields

Annals of Pure and Applied Logic

Volumn 88, Issue 2-3, 1997, Pages 95-108

  Chatzidakis, Zoé ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Finite fields; Model theory of algebraic structures

Indexed keywords

EID: 0031576454     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)00017-1     Document Type: Article

References (41)

1. J. Ax, The elementary theory of finite fields, Ann. Math. 88 (1968) 239-271.
2. Z. Chatzidakis, L. van den Dries, A. Macintyre, Definable sets over finite fields, J. Reine Angew Math. 427 (1992) 107-135.
3. Z. Chatzidakis, E. Hrushovski, The model theory of algebraically closed fields with an automorphism, manuscript.
4. G. Cherlin, L. van den Dries, A. Macintyre, Decidability and undecidability theorems for PAC-fields, Bull. Amer. Math. Soc. 4 (1981) 101-104.
5. G. Cherlin, E. Hrushovski, Smoothly approximable structures, manuscript, 1994.
6. L. van den Dries, Dimension of definable sets, algebraic boundedness and henselian fields, Ann. Pure Appl. Logic 45 (1989) 189-209.
7. L. van den Dries, A remark on Ax's theorem on solvability modulo primes, Math. Z. 208 (1991) 65-70.
8. J.-L. Duret, Les corps faiblement algébriquement clos non séparablement clos ont la propriété d'indépendance, in: Pacholski et al. (Eds.) Model Theory of Algebra and Arithmetic, Springer Lecture Notes, vol. 834, 1980, pp. 135-157.
9. I. Efrat, Absolute Galois groups of maximal P pC fields, Forum Math. 3 (1991) 437-460.
10. Ju.L. Ershov, Regularly closed fields, Soviet Math. Doklady 31 (1980) 510-512.
11. Ju.L. Ershov, Undecidability of regularly closed fields, Algebra and Logic 20 (1981) 257-260.
12. M. Fried, D. Haran, M. Jarden, Galois stratification over Frobenius fields, Adv. in Math. 51 (1984) 1-35.
13. M. Fried, D. Haran, M. Jarden, Effective counting of the points of definable sets over finite fields, Israel J. Math. 85 (1994) 103-133.
14. M. Fried, M. Jarden, Field Arithmetic, Ergebnisse 11, Springer, Berlin, 1986.
15. M. Fried, G. Sacerdote, Solving diophantine problems over all residue class fields of a number field and all finite fields, Ann. Math. 104 (1976) 203-233.
16. C. Grob, Die Entscheidbarkeit der Theorie der maximalen pseudo p-adisch abgeschlossenen Körper, Dissertation, Konstanz, 1988.
17. D. Haran, M. Jarden, The absolute Galois group of a pseudo-real closed field, Ann. Sc. Norm. Super. Pisa, Cl. Sci. IV Ser. 12 (1985) 449-489.
18. D. Haran, A. Lubotzky, Embedding covers and the theory of Frobenius fields, Israel J. Math. 41 (1982) 181-202.
19. E. Hrushovski, Pseudo-finite fields and related structures, manuscript, 1993.
20. E. Hrushovski, The first-order theory of the Frobenius, preprint, 1996.
21. E. Hrushovski, A. Pillay, Groups definable in local fields and pseudo-finite fields, Israel J. Math, 85 (1994) 203-262.
22. E. Hrushovski, A. Pillay, Definable subgroups of algebraic groups over finite fields, J. Reine Angew. Math. 462 (1995) 69-91.
23. M. Jarden, Elementary statements over large algebraic fields, Trans. AMS 164 (1972) 67-91.
24. M. Jarden, Algebraic extensions of finite corank of Hilbertian fields, Israel J. Math. 18 (1974) 279-307.
25. M. Jarden, The elementary theory of ω-free Ax fields, Invent. Math. 38 (1976) 187-206.
26. M. Jarden, The elementary theory of normal Frobenius fields, Michigan Math. J. 30 (1983) 155-163.
27. M. Jarden, Algebraic dimension over Frobenius fields, Forum Math. 6 (1994) 43-63.
28. M. Jarden, U. Kiehne, The elementary theory of algebraic fields of finite corank, Invent. Math. 30 (1975) 275-294.
29. M. Jarden, S. Shelah, Pseudo algebraically closed fields over rational function fields, Proc. AMS 87 (1983) 223-228.
30. C. Kiefe, Sets definable over finite fields: their Zeta functions, Trans. AMS 223 (1976) 45-59.
31. B. Kim, Forking in simple unstable theories, manuscript, 1995.
32. S. Lang, A. Weil, Number of points of varieties in finite fields, Amer. J. Math. 76 (1954) 819-827.
33. H. Lejeune, Paires de corps PAC parfaits, paires de corps pseudo-finis, Thèse de Doctorat, Univ. Paris 7 (1995).
34. A. Macintyre, Generic automorphisms of fields, this volume.
35. A. Macintyre, Nonstandard Frobenius, in preparation.
36. C.R. Matthews, L.N. Vaserstein, B. Weisfeiler, Congruence properties of Zariski dense subgroups, Proc. London Math. Soc. XLVIII (1984) 385-576.
37. p), Invent. Math. 88 (1987) 257-275.
38. F. Pop, Fields of totally S-adic numbers, manuscript, Heidelberg, 1992.
39. A. Prestel, Pseudo real closed fields, in: Set Theory and Model theory, Lecture Notes in Math, vol. 782, Springer, Berlin, 1981, pp. 127-156.
40. S.M. Seltenov, Theory of finite fields with an additional predicate distinguishing a subfield, Sib. Math. J. 19 (1978) 278-285.
41. S. Shelah, Simple unstable theories, Ann. Pure Appl. Logic 19 (1980) 177-203.