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.
 
 