The countable existentially closed pseudocomplemented semilattice (Q527338): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1631906292
@@ Property / OpenAlex ID: W1631906292 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6700
@@ Property / arXiv ID: 1203.6700 / rank @@
+Normal rank
@@ Property / cites work @@
+The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+Stone lattices
@@ Property / cites work: Stone lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Model companions for finitely generated universal Horn classes
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Pseudo-complements in semi-lattices
@@ Property / cites work: Pseudo-complements in semi-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically closed p-semilattices
@@ Property / cites work: Algebraically closed p-semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Model-companions and definability in existentially complete structures
+Normal rank