Classes of algebraic systems defined by universal Horn sentences (Q1240745): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215824
@@ Property / cites work: Q3215824 / rank @@
+Normal rank
@@ Property / cites work @@
+VARIETIES OF BANACH ALGEBRAS
@@ Property / cites work: VARIETIES OF BANACH ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130547
@@ Property / cites work: Q4130547 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of infinitely long formulas
@@ Property / cites work: Some applications of infinitely long formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Q4143774
@@ Property / cites work: Q4143774 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1240745