✦ LIBER ✦

Decidability of extended theories of addition of the natural numbers and the integers

✍ Scribed by A. A. Ivanov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of the universal theory of

✍ A. P. Bel'tyukov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 518 KB

Extended universal theories of the integ

✍ V. I. Mart'yanov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 802 KB

The decidability of mechanical theories

✍ G. P. Dishkant 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 86 KB

Solvability of the theory of integers wi

✍ Yu. G. Penzin 📂 Article 📅 1973 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 337 KB

Decidability and the number of countable

✍ Terrence Millar 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 656 KB

The number of additional variables requi

✍ Toshihide Ibaraki 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 453 KB