Geodesic
Diophantine undecidability for addition and divisibility in polynomial rings
Thanases Pheidas1
1 Department of Mathematics University of Crete 71409 Heraklion, Greece
Fundamenta Mathematicae, Tome 182 (2004) no. 3, pp. 205-220

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We prove that the positive-existential theory of addition and divisibility in a ring of polynomials in two variables $A[t_1,t_2 ]$ over an integral domain $A$ is undecidable and that the universal-existential theory of $A[t_1]$ is undecidable.
DOI : 10.4064/fm182-3-2
Keywords: prove positive existential theory addition divisibility ring polynomials variables integral domain undecidable universal existential theory undecidable

Thanases Pheidas 1

1 Department of Mathematics University of Crete 71409 Heraklion, Greece 
@article{10_4064_fm182_3_2,
     author = {Thanases Pheidas},
     title = {Diophantine undecidability for addition and divisibility in
polynomial rings},
     journal = {Fundamenta Mathematicae},
     pages = {205--220},
     publisher = {mathdoc},
     volume = {182},
     number = {3},
     year = {2004},
     doi = {10.4064/fm182-3-2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm182-3-2/}
}
TY  - JOUR
AU  - Thanases Pheidas
TI  - Diophantine undecidability for addition and divisibility in
polynomial rings
JO  - Fundamenta Mathematicae
PY  - 2004
SP  - 205
EP  - 220
VL  - 182
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm182-3-2/
DO  - 10.4064/fm182-3-2
LA  - en
ID  - 10_4064_fm182_3_2
ER  - 
%0 Journal Article
%A Thanases Pheidas
%T Diophantine undecidability for addition and divisibility in
polynomial rings
%J Fundamenta Mathematicae
%D 2004
%P 205-220
%V 182
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm182-3-2/
%R 10.4064/fm182-3-2
%G en
%F 10_4064_fm182_3_2
Thanases Pheidas. Diophantine undecidability for addition and divisibility in
polynomial rings. Fundamenta Mathematicae, Tome 182 (2004) no. 3, pp. 205-220. doi: 10.4064/fm182-3-2

Cité par Sources :