Injectives in finitely generated universal Horn classes

DOI10.2307/2274364MaRDI QIDQ3783343zbMATH OpenOpenAlexFDO

Authors Ross Willard, Michael Albert

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274364

zbMATH Keywords

finite structuresinjective algebrainjective structurequasivarietytwo-element algebrauniversal Horn classvariety

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Model-theoretic algebra (03C60) Injectives, projectives (08B30) Quasivarieties (08C15)

Recommendations

• Tests for injectivity in finitely generated universal Horn classes
• Quasivarieties generated by two-element algebras revisited
• Finite algebras that generate an injectively complete modular variety
• Finitely axiomatizable quasivarieties of graphs
• Finite-to-finite universal quasivarieties are Q-universal.

Cited in

(1)

• Tests for injectivity in finitely generated universal Horn classes

This page was built for publication: Injectives in finitely generated universal Horn classes

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