Decidability questions for a ring of Laurent polynomials

DOI10.1016/J.APAL.2011.06.015zbMATH Open1248.03021OpenAlexW2003769361MaRDI QIDQ764281FDOQ764281

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

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

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)

Cites Work

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

Cited In (4)

• Diophantine undecidability for addition and divisibility in polynomial rings
• Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
• Decidability of the class of all the rings : A problem of Ax
• Defining Multiplication in Some Additive Expansions of Polynomial Rings

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)