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

@@ 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