Universal Horn axiom systems for lattices of submodules
From MaRDI portal
Publication:1245984
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
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