Definability in power series rings of nonzero characteristic

  • Gregory Cherlin
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 1103)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Ax, S. Kochen, "Diophantine problems over local fields I, II", Amer. J. Math. 187 (1965), 605–630 and 631–648.MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    J. Becker, J. Denef, L. van den Dries, "Further remarks on the elementary theory of formal power series rings," in Model Theory of Algebra and Arithmetic, Pacholski et al. eds., LNM 834, Springer-Verlag NY 1980, pp. 1–9.CrossRefGoogle Scholar
  3. 3.
    G. Cherlin, "Undecidability of rational function fields in characteristic p," in Logic Colloquium 1982, Lolli et al. eds., North-Holland Amsterdam 1984, pp. 85–95.Google Scholar
  4. 4.
    Yu. Ershov, "On elementary theories of local fields," Alg. Log. 4 (1965), 5–30.MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag 1984

Authors and Affiliations

  • Gregory Cherlin
    • 1
  1. 1.Rutgers UniversityUSA

Personalised recommendations