Diophantine undecidability for addition and divisibility in polynomial rings
Fundamenta Mathematicae (2004)
- Volume: 182, Issue: 3, page 205-220
- ISSN: 0016-2736
Access Full Article
topAbstract
topHow to cite
topThanases Pheidas. "Diophantine undecidability for addition and divisibility in polynomial rings." Fundamenta Mathematicae 182.3 (2004): 205-220. <http://eudml.org/doc/283209>.
@article{ThanasesPheidas2004,
abstract = {We prove that the positive-existential theory of addition and divisibility in a ring of polynomials in two variables A[t₁,t₂] over an integral domain A is undecidable and that the universal-existential theory of A[t₁] is undecidable.},
author = {Thanases Pheidas},
journal = {Fundamenta Mathematicae},
keywords = {diophantine theory; undecidability; polynomial ring; divisibility},
language = {eng},
number = {3},
pages = {205-220},
title = {Diophantine undecidability for addition and divisibility in polynomial rings},
url = {http://eudml.org/doc/283209},
volume = {182},
year = {2004},
}
TY - JOUR
AU - Thanases Pheidas
TI - Diophantine undecidability for addition and divisibility in polynomial rings
JO - Fundamenta Mathematicae
PY - 2004
VL - 182
IS - 3
SP - 205
EP - 220
AB - We prove that the positive-existential theory of addition and divisibility in a ring of polynomials in two variables A[t₁,t₂] over an integral domain A is undecidable and that the universal-existential theory of A[t₁] is undecidable.
LA - eng
KW - diophantine theory; undecidability; polynomial ring; divisibility
UR - http://eudml.org/doc/283209
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.