From Varieties of Algebras to Covarieties of Coalgebras (Q4917031): Difference between revisions

@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499311
@@ Property / cites work: Q4499311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5631282
@@ Property / cites work: Q5631282 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational and implicational classes of coalgebras
+Normal rank
@@ Property / cites work @@
+Q4222949
@@ Property / cites work: Q4222949 / rank @@
+Normal rank
@@ Property / cites work @@
+Identities in Categories
@@ Property / cites work: Identities in Categories / rank @@
+Normal rank
@@ Property / cites work @@
+A small final coalgebra theorem
@@ Property / cites work: A small final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank