Decidability questions for a ring of Laurent polynomials

DOI10.1016/J.APAL.2011.06.015MaRDI QIDQ764281zbMATH OpenOpenAlexFDO

Authors Alla Sirokofskich

Publication date 13 March 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.06.015

zbMATH Keywords

decidabilityLaurent polynomialsexistential theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Diophantine undecidability for addition and divisibility in polynomial rings
• Undecidable existential theories of polynomial rings and function fields
• Decidable Sentences Over Polynomial Rings
• A Diophantine Problem for Laurent Polynomial Rings
• An Undecidability Result for Power Series Rings of Positive Characteristic. II

Cites work

• scientific article; zbMATH DE number 4031630 (Why is no real title available?)
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 193626 (Why is no real title available?)
• scientific article; zbMATH DE number 2086873 (Why is no real title available?)
• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
• A mathematical introduction to logic.
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• Definability and decision problems in arithmetic
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Extensions of Hilbert's tenth problem
• Hilbert's Tenth Problem is Unsolvable
• Hilbert's Tenth Problem over number fields, a survey
• Hilbert's tenth problem for fields of rational functions over finite fields
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• On an exponential predicate in polynomials over finite fields
• The Diophantine Problem for Addition and Divisibility
• Undecidability of existential theories of rings and fields: A survey
• Undecidable Rings
• Undecidable existential theories of polynomial rings and function fields

Cited in

(5)

• Defining multiplication in some additive expansions of polynomial rings
• Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
• Diophantine undecidability for addition and divisibility in polynomial rings
• Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
• Decidability of the class of all the rings : A problem of Ax

This page was built for publication: Decidability questions for a ring of Laurent polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764281)