scientific article; zbMATH DE number 1534356

zbMath0953.03038MaRDI QIDQ4517143

Aleksandr Vladimirovich Kravchenko, V. A. Gorbunov

Publication date: 21 November 2000

Full work available at URL: https://eudml.org/doc/187912

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

antivarietyuniversal Horn classanti-identity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Computable structure theory, computable model theory (03C57)

Related Items (9)

Axiomatizations of universal classes through infinitary logic ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ On Mal'cev's multiplication of antivarieties of algebraic systems ⋮ Kites and representations of pseudo MV-algebras ⋮ Singly generated quasivarieties and residuated structures ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Antivarieties of unars ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ Equivalents for a quasivariety to be generated by a single structure

This page was built for publication: