An undecidability result for power series rings of positive characteristic. II-Reference-Cited by-同舟云学术

An undecidability result for power series rings of positive characteristic. II

Published:1987 Issue:3 Volume:100 Page:526-530
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

Pheidas Thanases

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.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/1987-100-03/S0002-9939-1987-0891158-2/S0002-9939-1987-0891158-2.pdf

Reference13 articles.

1. Diophantine problems over local fields. III. Decidable fields;Ax, James;Ann. of Math. (2),1966

2. Further remarks on the elementary theory of formal power series rings;Becker, J.,1980

3. Definability in power series rings of nonzero characteristic;Cherlin, G. L.,1984

4. \bysame, Undecidability of rational function fields in nonzero characteristic, Logic Colloq., no. 82, North-Holland, Amsterdam.

5. Decision procedures for real and 𝑝-adic fields;Cohen, Paul J.;Comm. Pure Appl. Math.,1969

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hilbert's tenth problem for lacunary entire functions of finite order;Mathematical Logic Quarterly;2024-05

2. An undecidability result for the asymptotic theory of p-adic fields;Annals of Pure and Applied Logic;2023-02

3. A Note on Hilbert's ``Geometric'' Tenth Problem;2022-12-27

4. NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES;The Journal of Symbolic Logic;2021-11-23

5. THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS;The Journal of Symbolic Logic;2017-09