Universal Horn axiom systems for lattices of submodules

DOI10.1007/BF02485415zbMath0375.06003WikidataQ114693502 ScholiaQ114693502MaRDI QIDQ1245984

Michael Makkai, George F. McNulty

Publication date: 1977

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02485415

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

06B05: Structure theory of lattices

16Gxx: Representation theory of associative rings and algebras

Related Items

Endomorphism rings of modules and lattices of submodules, Finitely based congruence varieties, First-order theories of abstract dependence relations, Exact embedding functors between categories of modules, Embedding and unsolvability theorems for modular lattices, A test for identities satisfied in lattices of submodules, Exact embedding functors for module categories and submodule lattice quasivarieties, Some lattice Horn sentences for submodules of prime power characteristic, Finitely based modular congruence varietes are distributive, General geometric lattices and projective geometry of modules, Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic, On the Representation of Lattices by Modules

Cites Work

• Relation algebras and function semigroups
• On the Representation of Lattices by Modules
• On axiomatizability within a system
• The decision problem for some classes of sentences without quantifiers
• On the extending of models (I)