Decidability questions for a ring of Laurent polynomials

作者：Sirokofskich Alla^*

来源：Annals of Pure and Applied Logic, 2012, 163(5): 615-619.

DOI：10.1016/j.apal.2011.06.015

• Decidability
• Existential theory
• Laurent polynomials

We prove that the additive structure of the ring of Laurent polynomials augmented by the predicate symbol P, where P(x) if and only if x is a power of t, is decidable. We also prove that the first-order theory of the previous structure together with the relation vertical bar(t), where x vertical bar(t) y if and only if there exists s is an element of Z y = x . t(s), is undecidable.

• 出版日期2012-5