|
Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities
L. V. Shabunin
Received: 06.01.1987
Citation:
L. V. Shabunin, “Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities”, Mat. Zametki, 45:5 (1989), 93–102; Math. Notes, 45:5 (1989), 412–419
Linking options:
https://www.mathnet.ru/eng/mzm3491 https://www.mathnet.ru/eng/mzm/v45/i5/p93
|
|