On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559): Difference between revisions

@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+Finitary polyadic algebras from cylindric algebras
+Normal rank
@@ Property / cites work @@
+On Cylindric Algebras Satisfying Merry-go-round Properties
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable polyadic algebras
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable cylindric algebras
+Normal rank
@@ Property / cites work @@
+Provability with Finitely Many Variables
@@ Property / cites work: Provability with Finitely Many Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011731
@@ Property / cites work: Q4011731 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric modal logic
@@ Property / cites work: Cylindric modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Quantification and Substitution
@@ Property / cites work: A Modal Logic for Quantification and Substitution / rank @@
+Normal rank