Decidability questions for a ring of Laurent polynomials

DOI10.1016/j.apal.2011.06.015zbMath1248.03021OpenAlexW2003769361MaRDI QIDQ764281

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

Laurent polynomialsdecidabilityexistential theory

Mathematics Subject Classification ID

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

Related Items (1)

Defining Multiplication in Some Additive Expansions of Polynomial Rings

Cites Work

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

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