Universal Horn axiom systems for lattices of submodules
type: Item
instance of: scholarly article
title: Universal Horn axiom systems for lattices of submodules
zbMATH Open document ID: 0375.06003
DOI: 10.1007/BF02485415
author: Michael Makkai
author: George F. McNulty
published in: Algebra Universalis
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 06B05
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 16Gxx
zbMATH DE Number: 3583871
Wikidata QID: Q114693502
MaRDI profile type: Publication
cites work: On axiomatizability within a system
cites work: On the Representation of Lattices by Modules
cites work: On the extending of models (I)
cites work: The decision problem for some classes of sentences without quantifiers
cites work: Relation algebras and function semigroups
full work available at URL: https://doi.org/10.1007/bf02485415
OpenAlex ID: W1994637112
description: scientific article; zbMATH DE number 3583871