Diophantine undecidability for addition and divisibility in polynomial rings

Thanases Pheidas

Fundamenta Mathematicae (2004)

  • Volume: 182, Issue: 3, page 205-220
  • ISSN: 0016-2736

Abstract

top
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.

How to cite

top

Thanases 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.