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

@@ Property / author @@
-Robert Egrot
@@ Property / author: Robert Egrot / rank @@
-Normal rank
@@ Property / author @@
+Robert Egrot
@@ Property / author: Robert Egrot / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / OpenAlex ID @@
+W3105221300
@@ Property / OpenAlex ID: W3105221300 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128564811
@@ Property / Wikidata QID: Q128564811 / rank @@
+Normal rank