Description of categorical positive Horn classes (Q1167156): Difference between revisions

@@ Property / cites work @@
+Q4081299
@@ Property / cites work: Q4081299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404871
@@ Property / cites work: Q4404871 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical positive Horn theories
@@ Property / cites work: Categorical positive Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+Possible cardinalities of irredundant bases for finite closure structures
+Normal rank
@@ Property / cites work @@
+Residually small varieties
@@ Property / cites work: Residually small varieties / rank @@
+Normal rank