{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T05:27:01Z","timestamp":1734154021836,"version":"3.30.2"},"reference-count":22,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3454,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/s0168-0072(03)00060-5","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T13:20:33Z","timestamp":1062595233000},"page":"1-41","source":"Crossref","is-referenced-by-count":2,"title":["More existence theorems for recursion categories"],"prefix":"10.1016","volume":"125","author":[{"given":"Florian","family":"Lengyel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0168-0072(03)00060-5_BIB1","doi-asserted-by":"crossref","first-page":"594","DOI":"10.2307\/2274352","article-title":"Dominical categories","volume":"52","author":"Di Paola","year":"1987","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"10.1016\/S0168-0072(03)00060-5_BIB2","doi-asserted-by":"crossref","first-page":"643","DOI":"10.2307\/2274707","article-title":"Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic","volume":"56","author":"Di Paola","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB3","doi-asserted-by":"crossref","unstructured":"M.P. Fiore, Axiomatic domain theory in categories of partial maps, Dissertation, University of Edinburgh, Edinburgh, 1994, Cambridge University Press, Cambridge, 1996.","DOI":"10.1017\/CBO9780511526565.002"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB4","unstructured":"H.P. Gumm, Elements of the general theory of coalgebras, LUATCS\u201999, Rand Africans University, Johannesburg, South Africa, 1999."},{"issue":"2\u20133","key":"10.1016\/S0168-0072(03)00060-5_BIB5","first-page":"135","article-title":"Functors for coalgebras","volume":"45","author":"Gumm","year":"2001","journal-title":"Algebra Universalis"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB6","unstructured":"H.P. Gumm, T. Schr\u00f6der, Coalgebraic Structure from Weak Limit Preserving Functors, CMCS\u20192000: Coalgebraic Methods in Computer Science (Berlin), Elsevier, Amsterdam, 2000, 21pp. (electronic)."},{"issue":"1\u20132","key":"10.1016\/S0168-0072(03)00060-5_BIB7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/PL00000334","article-title":"Products of coalgebras","volume":"46","author":"Gumm","year":"2001","journal-title":"Algebra Universalis"},{"issue":"5","key":"10.1016\/S0168-0072(03)00060-5_BIB8","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1017\/S0960129501003590","article-title":"Coalgebras of bounded type","volume":"12","author":"Gumm","year":"2002","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"10.1016\/S0168-0072(03)00060-5_BIB9","doi-asserted-by":"crossref","first-page":"1252","DOI":"10.2307\/2274486","article-title":"An existence theorem for recursion categories","volume":"55","author":"Heller","year":"1990","journal-title":"J. Symbolic Logic"},{"issue":"1\u20132","key":"10.1016\/S0168-0072(03)00060-5_BIB10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0304-3975(00)00124-9","article-title":"On the structure of categories of coalgebras","volume":"260","author":"Johnstone J. Power","year":"2001","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0168-0072(03)00060-5_BIB11","unstructured":"A. Kurz, Logics for coalgebras and applications to computer science, Ph.D. Thesis, Ludwig-Maximillians-Universit\u00e4t, M\u00fcnchen, 2000."},{"key":"10.1016\/S0168-0072(03)00060-5_BIB12","unstructured":"F. Lengyel, Recursion categories of coalgebras, Ph.D. Thesis, Graduate School and University Center, The City University of New York, 2002."},{"year":"1998","series-title":"Categories for the Working Mathematician","author":"Mac Lane","key":"10.1016\/S0168-0072(03)00060-5_BIB13"},{"issue":"1","key":"10.1016\/S0168-0072(03)00060-5_BIB14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1305\/ndjfl\/1093634998","article-title":"Pathologies in two syntactic categories of partial maps","volume":"30","author":"Montagna","year":"1989","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB15","doi-asserted-by":"crossref","unstructured":"D. Pavlovi\u0107, M.H. Escard\u00f3, Calculus in coinductive form, 13th Annu. IEEE Symp. on Logic in Computer Science, Indianapolis, IN, IEEE Computer Soc., Los Alamitos, CA, 1998, pp. 408\u2013417.","DOI":"10.1109\/LICS.1998.705675"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB16","doi-asserted-by":"crossref","unstructured":"D. Pavlovi\u0107, V. Pratt, On coalgebra of real numbers, CMCS\u201999 Coalgebraic Methods in Computer Science, Amsterdam, 1999, Elsevier, Amsterdam, 1999, 15pp. (eletronic).","DOI":"10.1016\/S1571-0661(05)80272-5"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB17","unstructured":"G. Rosolini, Continuity and effectiveness in topoi, D.Phil. Thesis, University of Oxford, 1986."},{"key":"10.1016\/S0168-0072(03)00060-5_BIB18","doi-asserted-by":"crossref","unstructured":"G. Rosolini, Representation theorems for p-categories, Categorical Algebra and its Applications, Louvain-La-Neuve, 1987, Springer, Berlin, 1988, pp. 307\u2013315.","DOI":"10.1007\/BFb0081368"},{"issue":"1","key":"10.1016\/S0168-0072(03)00060-5_BIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/S0168-0072(03)00060-5_BIB20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2178\/jsl\/1190150033","article-title":"An algebraic approach to categories of partial morphisms","volume":"67","author":"Stefani","year":"2002","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB21","doi-asserted-by":"crossref","unstructured":"P. Taylor, An exact interpretation of while, in: G.L. Burn, S.J. Gay, M.D. Ryan (Eds.), Theory and Formal Methods 1993: Proc. 1st Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Springer-Verlag Workshops in Computer Science, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29\u201331 March 1993, pp. 302\u2013313.","DOI":"10.1007\/978-1-4471-3503-6_24"},{"key":"10.1016\/S0168-0072(03)00060-5_BIB22","doi-asserted-by":"crossref","unstructured":"J. Worrell, Toposes of coalgebras and hidden algebras, First Workshop on Coalgebraic Methods in Computer Science (CMCS \u201998), Lisbon, Elsevier, Amsterdam, 1998, 19pp. (electronic).","DOI":"10.1016\/S1571-0661(04)00060-X"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007203000605?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007203000605?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T16:38:34Z","timestamp":1734107914000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007203000605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":22,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S0168007203000605"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(03)00060-5","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}