✦ LIBER ✦

A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups

✍ Scribed by Stanley Burris

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the theory of Abelian

✍ V. I. Mart'yanov 📂 Article 📅 1978 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 249 KB

An example in the model theory of abelia

✍ Dan Saracino; Carol Wood 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 155 KB

Description of covers of the variety of

✍ S. A. Gurchenkov; V. M. Kopytov 📂 Article 📅 1988 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 230 KB

A variety of lattice-ordered groups cont

✍ M. Anderson; M. Darnel; T. Feil 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 300 KB

The undecidability of the elementary the

✍ G. T. Kozlov 📂 Article 📅 1970 🏛 Springer US 🌐 English ⚖ 259 KB

Expanded elementary and universal theori

✍ A. I. Kokorin; G. T. Kozlov 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 415 KB