Universal Horn axiom systems for lattices of submodules (Q1245984): Difference between revisions

@@ Property / author @@
+George F. McNulty
@@ Property / author: George F. McNulty / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+On the Representation of Lattices by Modules
@@ Property / cites work: On the Representation of Lattices by Modules / rank @@
+Normal rank
@@ Property / cites work @@
+On the extending of models (I)
@@ Property / cites work: On the extending of models (I) / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Relation algebras and function semigroups
@@ Property / cites work: Relation algebras and function semigroups / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02485415
+Normal rank
@@ Property / OpenAlex ID @@
+W1994637112
@@ Property / OpenAlex ID: W1994637112 / rank @@
+Normal rank