An undecidability result for power series rings of positive characteristic. II
HTML articles powered by AMS MathViewer
- by Thanases Pheidas PDF
- Proc. Amer. Math. Soc. 100 (1987), 526-530 Request permission
Abstract:
We prove that the existential problem for a power series ring over an integral domain of positive characteristic with a predicate which represents the powers of the indeterminate is undecidable. We prove the same result for any ring which is contained in a power series ring and contains the corresponding ring of polynomials.References
- James Ax and Simon Kochen, Diophantine problems over local fields. III. Decidable fields, Ann. of Math. (2) 83 (1966), 437–456. MR 201378, DOI 10.2307/1970476
- J. Becker, J. Denef, and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, Model theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979), Lecture Notes in Math., vol. 834, Springer, Berlin-New York, 1980, pp. 1–9. MR 606776
- G. L. Cherlin, Definability in power series rings of nonzero characteristic, Models and sets (Aachen, 1983) Lecture Notes in Math., vol. 1103, Springer, Berlin, 1984, pp. 102–112. MR 775690, DOI 10.1007/BFb0099383 —, Undecidability of rational function fields in nonzero characteristic, Logic Colloq., no. 82, North-Holland, Amsterdam.
- Paul J. Cohen, Decision procedures for real and $p$-adic fields, Comm. Pure Appl. Math. 22 (1969), 131–151. MR 244025, DOI 10.1002/cpa.3160220202
- J. Denef, The Diophantine problem for polynomial rings of positive characteristic, Logic Colloquium ’78 (Mons, 1978) Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 131–145. MR 567668 J. Denef and L. Lipshitz, An effective form of Greenberg’s Theorem (preprint).
- Ju. L. Eršov, On the elementary theory of maximal normed fields, Dokl. Akad. Nauk SSSR 165 (1965), 21–23 (Russian). MR 0190140
- Angus Macintyre, On definable subsets of $p$-adic fields, J. Symbolic Logic 41 (1976), no. 3, 605–610. MR 485335, DOI 10.2307/2272038
- Ju. V. Matijasevič, The Diophantineness of enumerable sets, Dokl. Akad. Nauk SSSR 191 (1970), 279–282 (Russian). MR 0258744 T. Pheidas, The Diophantine problem for addition and divisibility in polynomial rings, Thesis, Purdue Univ., 1985.
- Thanases Pheidas, An undecidability result for power series rings of positive characteristic, Proc. Amer. Math. Soc. 99 (1987), no. 2, 364–366. MR 870802, DOI 10.1090/S0002-9939-1987-0870802-X
- Volker Weispfenning, Quantifier elimination and decision procedures for valued fields, Models and sets (Aachen, 1983) Lecture Notes in Math., vol. 1103, Springer, Berlin, 1984, pp. 419–472. MR 775704, DOI 10.1007/BFb0099397
Additional Information
- © Copyright 1987 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 100 (1987), 526-530
- MSC: Primary 03D35; Secondary 13F25, 13J05, 13L05
- DOI: https://doi.org/10.1090/S0002-9939-1987-0891158-2
- MathSciNet review: 891158