A representation theorem for universal horn classes categorical in power

DOI10.1016/0003-4843(79)90022-6zbMATH Open0436.03020OpenAlexW2065164645MaRDI QIDQ3875903FDOQ3875903

Steven R. 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

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

Cited In (10)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875903)