A representation theorem for universal horn classes categorical in power

DOI10.1016/0003-4843(79)90022-6zbMath0436.03020OpenAlexW2065164645MaRDI QIDQ3875903

Steven Givant

Publication date: 1979

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

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

zbMATH Keywords

universal Horn classespointed setsaffine spaces over matrix rings

Mathematics Subject Classification ID

Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35)

Related Items (10)

Categorical quasivarieties revisited ⋮ Matrix theory for independence algebras ⋮ Plain para primal algebras ⋮ The number of non-isomorphic denumerable models of certain universal Horn classes ⋮ Minimal sets and varieties ⋮ The largest subsemilattices of the endomorphism monoid of an independence algebra. ⋮ v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC ⋮ Model complete universal Horn classes ⋮ Categorical quasivarieties via Morita equivalence ⋮ Characterizing categoricity in several classes of modules

This page was built for publication: A representation theorem for universal horn classes categorical in power