Universal horn classes categorical or free in power

DOI10.1016/0003-4843(78)90025-6zbMath0401.03009OpenAlexW1965434294MaRDI QIDQ4184820

Steven Givant

Publication date: 1978

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(78)90025-6

zbMATH Keywords

SchreierModel TheoryUniversal AlgebraEquational ClassRegularEquational ExtensionFree VarietyQuasivarietyUniversal Horn Classes Categorical or Free in PowerVariety of Affine Spaces over a Division RingVariety of Pointed SetsVariety of SetsVariety of Vector Spaces over a Division Ring

Mathematics Subject Classification ID

Quasivarieties (08C15) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Categorical quasivarieties revisited ⋮ Universal theories categorical in power and \(\kappa\)-generated models ⋮ Matrix theory for independence algebras ⋮ Varieties whose finitely generated members are free ⋮ Universal unoid theories unique in power ⋮ Union decompositions and universal classes categorical in power ⋮ Algebras with minimal spectrum ⋮ Categoricity and universal classes ⋮ Categorical Horn classes. I ⋮ The number of non-isomorphic denumerable models of certain universal Horn classes ⋮ Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Minimal sets and varieties ⋮ The largest subsemilattices of the endomorphism monoid of an independence algebra. ⋮ v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC ⋮ Categorical quasivarieties via Morita equivalence ⋮ Characterizing categoricity in several classes of modules ⋮ Groupoids of rank 2 generating categorical Horn classes ⋮ First-order theories of abstract dependence relations