Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
205-220
Opis fizyczny
Daty
wydano
2004
Twórcy
autor
- Department of Mathematics, University of Crete, 71409 Heraklion, Greece
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm182-3-2