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

@@ 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