✦ LIBER ✦

Undecidability of the theory of Abelian groups with an automorphism

✍ Scribed by V. I. Mart'yanov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the theory of Boolean

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

A non-Abelian variety of groups has an u

✍ A. P. Zamyatin 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 408 KB

Undecidable universal theories of lattic

✍ A. M. Slobodskoi; É. I. Fridman 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 256 KB

A simple proof of the hereditary undecid

✍ Stanley Burris 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 90 KB

Torsion-free Abelian groups with finite

✍ V. A. Nikiforov 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 415 KB

On the undecidability of some classes of

✍ Annalisa Marcja; Mike Prest; Carlo Toffalori 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 508 KB