Some Co-Birkhoff Type Theorems (Q2842554): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Weak factorization systems and topological functors
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156359
@@ Property / cites work: Q4156359 / rank @@
+Normal rank
@@ Property / cites work @@
+From Varieties of Algebras to Covarieties of Coalgebras
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967519
@@ Property / cites work: Q3967519 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulas and ultraproducts in categories
@@ Property / cites work: Formulas and ultraproducts in categories / rank @@
+Normal rank
@@ Property / cites work @@
+INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
+Normal rank
@@ Property / cites work @@
+Q3950541
@@ Property / cites work: Q3950541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520827
@@ Property / cites work: Q4520827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702593
@@ Property / cites work: Q4702593 / rank @@
+Normal rank
@@ Property / cites work @@
+CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
+Normal rank
@@ Property / cites work @@
+Duality for some categories of coalgebras.
@@ Property / cites work: Duality for some categories of coalgebras. / rank @@
+Normal rank
@@ Property / cites work @@
+What is the coalgebraic analogue of Birkhoff's variety theorem?
+Normal rank
@@ Property / cites work @@
+Q2759839
@@ Property / cites work: Q2759839 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational and implicational classes of coalgebras
+Normal rank
@@ Property / cites work @@
+Covarieties and complete covarieties
@@ Property / cites work: Covarieties and complete covarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Operators for Coequations
@@ Property / cites work: Modal Operators for Coequations / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
+Normal rank
@@ Property / cites work @@
+Modal Rules are Co-Implications
@@ Property / cites work: Modal Rules are Co-Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly Complete Logics for Coalgebras
@@ Property / cites work: Strongly Complete Logics for Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Predicates and Coequations
@@ Property / cites work: Modal Predicates and Coequations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235377
@@ Property / cites work: Q3235377 / rank @@
+Normal rank
@@ Property / cites work @@
+Operators on classes of coalgebras
@@ Property / cites work: Operators on classes of coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of factorization systems and their applications to cone- injective subcategories
+Normal rank
@@ Property / cites work @@
+Q3958640
@@ Property / cites work: Q3958640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783329
@@ Property / cites work: Q4783329 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank