THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS (Q2921030): Difference between revisions

@@ Property / cites work @@
+Provability with Finitely Many Variables
@@ Property / cites work: Provability with Finitely Many Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebra reducts of cylindric algebras and an application to proof theory
+Normal rank
@@ Property / cites work @@
+Notions of density that imply representability in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4011731
@@ Property / cites work: Q4011731 / rank @@
+Normal rank
@@ Property / cites work @@
+A Neat Embedding Theorem for Expansions of Cylindric Algebras
+Normal rank
@@ Property / cites work @@
+Q5656762
@@ Property / cites work: Q5656762 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
+Normal rank
@@ Property / cites work @@
+Representation theory for polyadic algebras
@@ Property / cites work: Representation theory for polyadic algebras / rank @@
+Normal rank