✦ LIBER ✦

On the decidability of equational theories of varieties of rings

✍ Scribed by V. Yu. Popov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Equational theories for the varieties of

✍ V. Yu. Popov 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 539 KB

Complements in lattices of varieties and

✍ V. Diercks; M. Erné; J. Reinhold 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 506 KB

On decidability of theories of finitely

✍ L. V. Shabunin 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 787 KB

The decidability of mechanical theories

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

Comparing First Order Theories of Module

✍ Saverio Cittadini; Carlo Toffalori 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 249 KB