Publication:4517143
From MaRDI portal
zbMath0953.03038MaRDI QIDQ4517143
Aleksandr Vladimirovich Kravchenko, V. A. Gorbunov
Publication date: 21 November 2000
Full work available at URL: https://eudml.org/doc/187912
68Q45: Formal languages and automata
03B25: Decidability of theories and sets of sentences
08C15: Quasivarieties
03C05: Equational classes, universal algebra in model theory
03C57: Computable structure theory, computable model theory
Related Items
Singly generated quasivarieties and residuated structures, Kites and representations of pseudo MV-algebras, Antivarieties of unars, Equivalents for a quasivariety to be generated by a single structure, Axiomatizations of universal classes through infinitary logic, On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions, Open questions related to the problem of Birkhoff and Maltsev, On Mal'cev's multiplication of antivarieties of algebraic systems, Kapsner complementation: an algebraic take on Kapsner strong logics