Universal Horn axiom systems for lattices of submodules

DOI10.1007/BF02485415zbMath0375.06003OpenAlexW1994637112WikidataQ114693502 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

Model-theoretic algebra (03C60) Structure theory of lattices (06B05) Representation theory of associative rings and algebras (16Gxx)

Related Items (12)

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 ⋮ Finitely based congruence varieties ⋮ Exact embedding functors between categories of modules ⋮ Endomorphism rings of modules and lattices of submodules ⋮ Embedding and unsolvability theorems for modular lattices ⋮ A test for identities satisfied in lattices of submodules ⋮ On the Representation of Lattices by Modules ⋮ Exact embedding functors for module categories and submodule lattice quasivarieties ⋮ First-order theories of abstract dependence relations

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)

This page was built for publication: Universal Horn axiom systems for lattices of submodules