{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:44Z","timestamp":1762459184974},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T00:00:00Z","timestamp":1403049600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10485-014-9372-9","type":"journal-article","created":{"date-parts":[[2014,6,19]],"date-time":"2014-06-19T08:25:24Z","timestamp":1403166324000},"page":"609-641","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On Final Coalgebras of Power-Set Functors and Saturated Trees"],"prefix":"10.1007","volume":"23","author":[{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"first","affiliation":[]},{"given":"Paul B.","family":"Levy","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[]},{"given":"Lurdes","family":"Sousa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,18]]},"reference":[{"key":"9372_CR1","unstructured":"Abramsky, S.: A Cook\u2019s tour of the finitary non-wellfounded sets. In: Artemov S. et al (eds.) We Will Show Them: Essays in honour of Dov Gabbay, vol. 1, pp. 1\u201318. College Publications (2005)"},{"key":"9372_CR2","unstructured":"Aczel, P.: Non-well-founded sets. Lecture Notes, vol. 14. CSLI, Stanford (1988)"},{"key":"9372_CR3","doi-asserted-by":"crossref","unstructured":"Aczel, P., Mendler, P. F.: A final coalgebra theorem. Lecture Notes in Computer Science, vol. 389, pp. 357\u2013365. Springer (1989)","DOI":"10.1007\/BFb0018361"},{"key":"9372_CR4","first-page":"589","volume":"15","author":"J Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolin\u00e6 15, 589\u2013609 (1974)","journal-title":"Comment. Math. Univ. Carolin\u00e6"},{"key":"9372_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(95)00011-K","volume":"150","author":"J Ad\u00e1mek","year":"1995","unstructured":"Ad\u00e1mek, J., Koubek, V.: On the greatest fixed point of a set functor. Theoret. Comput. Sci. 150, 57\u201375 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"9372_CR6","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1016\/j.tcs.2003.12.022","volume":"316","author":"J Ad\u00e1mek","year":"2004","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: On coalgebra based on classes. Theoret. Comput. Sci. 316, 685\u2013705 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"9372_CR7","first-page":"5","volume":"12","author":"J Ad\u00e1mek","year":"2011","unstructured":"Ad\u00e1mek, J., Milius, S., Moss, L. S., Sousa, L.: Power-set functors and saturated trees. Proc. CSL\u201911 LIPICS 12, 5\u201319 (2011)","journal-title":"Proc. CSL\u201911 LIPICS"},{"key":"9372_CR8","volume-title":"Automata and algebras in categories","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and algebras in categories. Kluwer Academic Publication, Dordrecht (1990)"},{"key":"9372_CR9","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129510000502","volume":"21","author":"J Ad\u00e1mek","year":"2011","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Initial algebras and terminal coalgebras in many-sorted sets. Math. Str. Comput. Sci. 21, 481\u2013509 (2011)","journal-title":"Math. Str. Comput. Sci."},{"key":"9372_CR10","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci. 114, 299\u2013315 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"9372_CR11","doi-asserted-by":"crossref","unstructured":"Blackburn, P, de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"9372_CR12","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of categorical algebra 2. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511525865"},{"key":"9372_CR13","doi-asserted-by":"crossref","unstructured":"Fagin, R., Vardi, M. Y.: An internal semantics for modal logic: Preliminary report. In: Proceedings of STOC\u201985, pp. 305\u2013315 (1985)","DOI":"10.1145\/22145.22179"},{"key":"9372_CR14","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","volume":"16","author":"K Fine","year":"1975","unstructured":"Fine, K.: Normal forms in modal logic. Notre Dame J. Formal Logic 16, 229\u2013237 (1975)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9372_CR15","doi-asserted-by":"crossref","unstructured":"Fine, K.: Some connections between elementary and modal logic. In: Kanger S. (ed) Proceedings of the 3rd Scandinavian Logic Symposium, pp. 15\u201331. Amsterdam (1975)","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"9372_CR16","doi-asserted-by":"crossref","unstructured":"Forti, M., Honsell, F.: Models of self-descriptive set theories. In: Partial Differential Equations and the Calculus of Variations, vol. I, pp. 473518. Birkh\u00e4user, Boston (1989)","DOI":"10.1007\/978-1-4684-9196-8_21"},{"key":"9372_CR17","doi-asserted-by":"crossref","unstructured":"Gumm, H.-P., Schr\u00f6der, T.: Monoid-labelled transition systems. Electron. Notes Theor. Comput. Sci., 44 (2001)","DOI":"10.1016\/S1571-0661(04)80908-3"},{"key":"9372_CR18","volume-title":"Set Theory","author":"T Jech","year":"1978","unstructured":"Jech, T.: Set Theory. Academic Press, Boston (1978)"},{"key":"9372_CR19","doi-asserted-by":"crossref","unstructured":"Joyal, A.: Foncteurs analytiques et esp\u00e8ce de structure. Lecture Notes in Math, vol. 1234, pp. 126\u2013159. Springer (1986)","DOI":"10.1007\/BFb0072514"},{"issue":"3","key":"9372_CR20","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1017\/S0960129505004755","volume":"15","author":"A Kurz","year":"2005","unstructured":"Kurz, A., Pattinson, D.: Coalgebraic modal logic of finite rank. Math. Struct. Comput. Sci. 15(3), 453\u2013473 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9372_CR21","doi-asserted-by":"crossref","unstructured":"Lazi\u0107, R. S., Roscoe, A. W.: On transition systems and non-well-founded sets. Papers on general topology and applications. Ann. New York Acad. Sci., 238264 (1996)","DOI":"10.1111\/j.1749-6632.1996.tb49173.x"},{"key":"9372_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J Lambek","year":"1968","unstructured":"Lambek, J.: A fixpoint theorem for complete categories. Math. Z 103, 151\u2013161 (1968)","journal-title":"Math. Z"},{"key":"9372_CR23","unstructured":"Mac Lane, S., Categories for the Working Mathematician, 2nd edn. Springer-Verlag (1998)"},{"key":"9372_CR24","unstructured":"Malitz, J.: Set theory in which the axiom of foundation fails, PhD thesis, University of California, Berkeley (1976)"},{"key":"9372_CR25","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s10992-007-9052-4","volume":"36","author":"LS Moss","year":"2007","unstructured":"Moss, L. S.: Finite models constructed from canonical formulas. J. Philos. Logic 36, 605\u2013640 (2007)","journal-title":"J. Philos. Logic"},{"key":"9372_CR26","unstructured":"Rutten, J.: A calculus of transition systems. CSLI Lecture Notes, pp. 53 (1995)"},{"key":"9372_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theoret. Comput. Sci. 249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"9372_CR28","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.1016\/j.ic.2009.10.010","volume":"208","author":"D Schwencke","year":"2010","unstructured":"Schwencke, D.: Coequational logic for accessible functors. Inform. Comput. 208, 1469\u20131489 (2010)","journal-title":"Inform. Comput."},{"key":"9372_CR29","first-page":"143","volume":"12","author":"V Trnkov\u00e1","year":"1971","unstructured":"Trnkov\u00e1, V.: On descriptive classification of set functors I. Comment Math. Univ. Carolin\u00e6 12, 143\u2013174 (1971)","journal-title":"Comment Math. Univ. Carolin\u00e6"},{"key":"9372_CR30","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.tcs.2004.12.009","volume":"338","author":"J Worrell","year":"2005","unstructured":"Worrell, J.: On the final sequence of a finitary set functor. Theoret. Comput. Sci. 338, 184\u2013199 (2005)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9372-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-014-9372-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9372-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T18:11:08Z","timestamp":1565547068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-014-9372-9"}},"subtitle":["To George Janelidze on the Occasion of His Sixtieth Birthday"],"short-title":[],"issued":{"date-parts":[[2014,6,18]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9372"],"URL":"https:\/\/doi.org\/10.1007\/s10485-014-9372-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,18]]}}}