Elimination of quantifiers in algebraic structures

This publication has 12 references indexed in Scilit:

• More on definable sets of p-adic numbers
  The Journal of Symbolic Logic, 1988
• Rings which admit elimination of quantifiers
  The Journal of Symbolic Logic, 1981
• On definable subsets of p-adic fields
  The Journal of Symbolic Logic, 1976
• Elementary statements over large algebraic fields
  Transactions of the American Mathematical Society, 1972
• On $ω_1$-categorical theories of fields
  Fundamenta Mathematicae, 1971
• Decision procedures for real and p‐adic fields
  Communications on Pure and Applied Mathematics, 1969
• The Elementary Theory of Finite Fields
  Annals of Mathematics, 1968
• Diophantine Problems Over Local Fields I
  American Journal of Mathematics, 1965
• Complete Theories
  The Mathematical Gazette, 1957
• Maximal fields with valuations
  Duke Mathematical Journal, 1942