Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598): Difference between revisions

@@ Property / cites work @@
+Free algebras in discriminator varieties
@@ Property / cites work: Free algebras in discriminator varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. I
@@ Property / cites work: Varieties of monadic Heyting algebras. I / rank @@
+Normal rank
@@ Property / cites work @@
+The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Discriminator varieties and symbolic computation
@@ Property / cites work: Discriminator varieties and symbolic computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411485
@@ Property / cites work: Q5411485 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5459443
@@ Property / cites work: Q5459443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836217
@@ Property / cites work: Q4836217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745865
@@ Property / cites work: Q4745865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805048
@@ Property / cites work: Q5805048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682023
@@ Property / cites work: Q5682023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4744312
@@ Property / cites work: Q4744312 / rank @@
+Normal rank
@@ Property / cites work @@
+Demi-semi-primal algebras and Mal'cev-type conditions
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+Heyting algebras with dual pseudocomplementation
@@ Property / cites work: Heyting algebras with dual pseudocomplementation / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminator varieties of double-Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank