scientific article
From MaRDI portal
Publication:3602608
zbMath1167.03008MaRDI QIDQ3602608
Zahidi, Karim, Thanases Pheidas
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Decidability of Sub-theories of Polynomials over a Finite Field ⋮ INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
This page was built for publication: