Uniform families of polynomial equations over a finite field and structures admitting an Euler characteristic of definable sets

Proceedings of the London Mathematical Society

Volumn 81, Issue 2, 2000, Pages 257-284

  Krajíček, Jan ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b MATHEMATICAL INSTITUTE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000123307     PISSN: 00246115     EISSN: None     Source Type: Journal    
DOI: 10.1112/S0024611500012557     Document Type: Article

References (43)

1. M. AJTAI, 'On the existence of modulo p cardinality functions', Feasible mathematics II (ed. P. Clote and J. Remmel, Birkhäuser, Basel, 1994) 1-14.
2. M. AJTAI, 'Symmetric systems of linear equations modulo p', Preprint, IBM Research, Almaden, 1994; Report number TR94-015, Electronic Colloquium on Computational Complexity, http://www.eccc.uni-trier.de/eccc.
3. J. AX, 'The elementary theory of finite fields', Ann. of Math. 88 (1968) 239-271.
4. P. BEAME, S. A. COOK, J. EDMONDS, R. IMPAGLIAZZO and T. PITASSI, 'The relative complexity of NP search problems', Proceedings of the 27th ACM Symposium on Theory of Computing (ACM Press, New York, 1995) 303-314.
5. P. BEAME, R. IMPAGLIAZZO, J. KRAJÍČEK, T. PITASSI and P. PUDLÁK, 'Lower bounds on Hilbert's Nullstellensatz and propositional proofs', Proc. London Math. Soc. (3) 73 (1996) 1-26.
6. S. BUSS, R. IMPAGLIAZZO, J. KRAJÍČEK, P. PUDLÁK, J. SGALL and A. A. RAZBOROV, 'Proof complexity in algebraic systems and bounded depth Frege systems with modular counting', Comput. Complexity 6 (1996/1997) 256-298.
7. S. R. BUSS and J. KRAJÍČEK, 'An application of boolean complexity to separation problems in bounded arithmetic', Proc. London Math. Soc. (3) 69 (1994) 1-21.
8. Z. CHATZIDAKIS, 'Model theory of finite fields and pseudo-finite fields', Ann. Pure Appl. Logic 88 (1997) 95-108.
9. Z. CHATZIDAKIS, L. VAN DEN DRIES and A. MACINTYRE, 'Definable sets over finite fields', J. Reine Angew. Math. 427 (1992) 107-135.
10. Z. CHATZIDAKIS and E. HRUSHOVSKI, 'Model theory of difference fields', Trans. Amer. Math. Soc. 351 (1999) 2997-3071.
11. M. CLEGG, J. EDMONDS and R. IMPAGLIAZZO, 'Using the Groebner basis algorithm to find proofs of unsatisfiability', Proceedings of the 28th ACM Symposium on Theory of Computing (ACM Press, New York, 1996) 174-183.
12. J. DENEF and L. VAN DEN DRIES, 'p-adic and subanalytic sets', Ann. of Math. 128 (1988) 79-138.
13. L. VAN DEN DRIES, 'O-minimal structures', Logic: from foundations to applications (ed. W. Hodges, M. Hyland, C. Steinhorn and J. Truss), European ASL meeting, Keele 1993 (Clarendon Press, Oxford, 1996) 137-186.
14. L. VAN DEN DRIES, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series 248 (Cambridge University Press, 1998).
15. L. VAN DEN DRIES, D. MARKER and G. MARTIN, 'Definable equivalence relations on algebraically closed fields', J. Symbolic Logic 54 (1989) 928-935.
16. L. VAN DEN DRIES and C. MILLER, 'On the real exponential field with restricted analytic functions', Israel J. Math. 85 (1994) 19-56.
17. E. FREITAG and R. KIEHL, Étale cohomology and the Weil conjecture (Springer, Berlin, 1988).
18. M. D. FRIED and M. JARDEN, Field arithmetic (Springer, Berlin, 1986).
19. D. G. D. GRAY, 'The submodule structure of some permutation modules', PhD Thesis, University of East Anglia, 1997.
20. D. G. D. GRAY, 'The structure of some permutation modules for the symmetric group of infinite degree', J. Algebra 193 (1997) 122-143.
21. R. HARTSHORNE, Algebraic geometry, Graduate Texts in Mathematics 52 (Springer, Berlin, 1977).
22. E. HRUSHOVSKI and A. PILLAY, 'Groups definable in local fields and pseudo-finite fields', Israel J. Math. 85 (1994) 203-262.
23. R. IMPAGLIAZZO, P. PUDLÁK and J. SGALL, 'Lower bounds for the polynomial calculus and the Groebner basis algorithm', Comput. Complexity 8 (1999) No. 2, 127-144.
24. G. D. JAMES, 'The module orthogonal to the Specht module', J. Algebra 46 (1977) 451-456.
25. G. D. JAMES, The representation theory of the symmetric groups, Lecture Notes in Mathematics 682 (Springer, Berlin, 1978).
26. C. KIEFE, 'Sets definable over finite fields: their zeta functions', Trans. Amer. Math. Soc. 223 (1976) 45-56.
27. J. KRAJÍČEK, Bounded arithmetic, prepositional logic, and complexity theory, Encyclopedia of Mathematics and its Applications 60 (Cambridge University Press, 1995).
28. J. KRAJÍČEK, 'On the degree of ideal membership proofs from uniform families of polynomials over a finite field', Illinois J. Math. to appear (Preprint, Oxford University, 1997).
29. A. MACINTYRE, 'Generic automorphisms of fields', Ann. Pure Appl. Logic 88 (1997) 165-180.
30. D. MARKER, M. MESSMER and A. PILLAY, Model theory of fields, Lecture Notes in Logic 5 (Springer, Berlin, 1996).
31. J. S. MILNE, Étale cohomology (Princeton University Press, 1980).
32. A. PILLAY, 'Model theory of algebraically closed fields', Stability theory and algebraic geometry, an introduction (ed. E. Bouscaren and D. Lascar), Lecture Notes in Mathematics 1696 (Springer, New York, 1998) 61-84.
33. A. PILLAY and C. STEINHORN, 'Definable sets in ordered structures I', Trans. Amer. Math. Soc. 295 (1986) 565-592.
34. A. A. RAZBOROV, 'Lower bounds for the polynomial calculus', Comput. Complexity 7 (1998) No. 4, 291-324.
35. S. RIIS, 'Making infinite structures finite in models of second order bounded arithmetic', Arithmetic, proof theory and computational complexity (ed. P. Clote and J. Krajíček), Oxford Logic Guides 23 (Clarendon Press, Oxford, 1993) 289-319.
36. J. ROBINSON, 'Definability and decision problems in arithmetic', J. Symbolic Logic 14 (1949) No. 2, 98-114.
37. S. H. SCHANUEL, 'Negative sets have Euler characteristic and dimension', Category theory, Como 1990 (ed. A. Carboni, M. Pedicchio and G. Rosolini), Lecture Notes in Mathematics 1488 (Springer, Berlin, 1991) 379-385.
38. J. P. SERRE, Lie algebras and Lie groups (Springer, Berlin, 1992).
39. S. SHELAH, 'Every two elementary equivalent models have isomorphic ultrapowers', Israel J. Math. 10 (1971) 224-233.
40. E. SONTAG, 'Remarks on piecewise-linear algebra', Pacific J. Math. 98 (1982) 183-201.
41. A. W. STRZEBONSKI, 'Euler characteristic in semialgebraic and O-minimal groups', J. Pure Appl. Algebra 96 (1994) 173-201.
42. A. J. WILKIE, 'Some model completeness results for expansions of the ordered fields of reals by Pfaffian functions and exponentiation', J. Amer. Math. Soc. 9 (1996) 1051-1094.
43. A. J. WILKIE, 'A general theorem on the complement and some new o-minimal structures', Selecta Math. (N.S.) 5 (1999) 397-421.