Decidability of the universal theory of natural numbers with addition and divisibility
From MaRDI portal
Publication:1147117
DOI10.1007/BF01693974zbMath0449.03011MaRDI QIDQ1147117
Publication date: 1980
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)
Related Items (5)
A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ The diophantine problem for addition and divisibility for subrings of rational functions over finite fields ⋮ Compositional satisfiability solving in separation logic ⋮ On parametric timed automata and one-counter machines
Cites Work
This page was built for publication: Decidability of the universal theory of natural numbers with addition and divisibility
