Quasivariety (Mal cev / McKenzie)

Layer 0 — Mathematicsin the universal-algebra subtree

Quasivariety = class closed under SP (subalgebras + products) + ultraproducts; Mal cev 1966 + McKenzie 1996: quasi-equational definability via Horn clauses.

Related concepts

Gödel's completeness theorem

Explore Quasivariety (Mal cev / McKenzie) on the interactive knowledge graph →