Diophantine undecidability for addition and divisibility in polynomial rings

• Autorzy: Thanases Pheidas
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 11U05: Decidability
• 03B25: Decidability of theories and sets of sentences
• 12L05: Decidability

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2004
• Tom: 182
• Numer: 3
• Strony: 205-220

Daty

wydano

2004

Twórcy

autor

Thanases Pheidas

• Department of Mathematics, University of Crete, 71409 Heraklion, Greece

Identyfikatory

DOI

10.4064/fm182-3-2