Finality regained: A coalgebraic study of Scott-sets and multisets

Archive for Mathematical Logic

Volumn 41, Issue 3, 2002, Pages 267-298

  D'Agostino, Giovanna ^a   Visser, Albert ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

AFA; Coalgebra; Graded modalities; Modal logic; Multiset; Non wellfounded set; Scott universe

Indexed keywords

EID: 0036012916     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100110     Document Type: Article

References (9)

1. Aczel, P.: Non-Wellfounded Sets. CSLI, Lecture Notes 14, 1988
2. Aczel, P., Mendler, N.: A Final Coalgebra Theorem. In Category Theory and Computer Science, Lecture Notes in Computer Science 389, ed Pitt et al. 1989
3. Barwise, J., Moss, L.: Vicious Circles. Volume 60 of CSLI Lecture Notes, Stanford California, 1996
4. Mac Lane, S.: Categories for the Working Mathematician. Volume 5 of the Graduate Text in Mathematics, Springer 1991
5. Moss, L.: Coalgebraic Logic. Preprint
6. Rutten, J.J.M.M.: Universal Coalgebra: a Theory of Systems. Technical Report of the Centrum voor Wiskunde en Informatica CS-R9652 1996
7. Scott, D.: A Different Kind of Model for Set Theory. Unpublished paper, given at the 1960 Stanford Congress of Logic, Methodology and Philosophy of Science
8. Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science 43, CUP, 1996
9. Rutten, J.J.M.M., Turi, D.: On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. Technical Report of the Centrum voor Wiskunde en Informatica CS-R9241 1992