Axiomatizability by \({\forall \exists!}\)-sentences (Q647342): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-011-0244-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2091366504
@@ Property / OpenAlex ID: W2091366504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Implicit connectives of algebraizable logics
@@ Property / cites work: Implicit connectives of algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically expandable classes
@@ Property / cites work: Algebraically expandable classes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank