Recursive axiomatizations for representable posets (Q4968237): Difference between revisions

@@ Property / cites work @@
+A Representation Theory for Prime and Implicative Semilattices
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Representable posets
@@ Property / cites work: Representable posets / rank @@
+Normal rank
@@ Property / cites work @@
+Non-elementary classes of representable posets
@@ Property / cites work: Non-elementary classes of representable posets / rank @@
+Normal rank
@@ Property / cites work @@
+No finite axiomatizations for posets embeddable into distributive lattices
+Normal rank
@@ Property / cites work @@
+Disjoint-union partial algebras
@@ Property / cites work: Disjoint-union partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of prime semilattices is not finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+Q5728445
@@ Property / cites work: Q5728445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230356
@@ Property / cites work: Q3230356 / rank @@
+Normal rank
@@ Property / cites work @@
+Every two elementarily equivalent models have isomorphic ultrapowers
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank