{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:34:21Z","timestamp":1753889661958,"version":"3.41.2"},"reference-count":32,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2011,5,17]],"date-time":"2011-05-17T00:00:00Z","timestamp":1305590400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"crossref","award":["EP\/E029329\/1"],"award-info":[{"award-number":["EP\/E029329\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"crossref","award":["EP\/F032102\/1"],"award-info":[{"award-number":["EP\/F032102\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods.<\/jats:p>","DOI":"10.2168\/lmcs-7(2:9)2011","type":"journal-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T12:17:26Z","timestamp":1316780246000},"source":"Crossref","is-referenced-by-count":12,"title":["Finitely generated free Heyting algebras via Birkhoff duality and coalgebra"],"prefix":"10.46298","volume":"Volume 7, Issue 2","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6692-5051","authenticated-orcid":false,"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"Mai","family":"Gehrke","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2011,5,17]]},"reference":[{"key":"10.2168\/LMCS-7(2:9)2011_Abramsky05","unstructured":"S. Abramsky. A Cook's tour of the finitary non-well-founded sets. In S. A. et al., editor,We Will Show Them: Essays in honour of Dov Gabbay, pages 1-18. College Publications, 2005."},{"key":"10.2168\/LMCS-7(2:9)2011_AdamekTrnkova90","unstructured":"J. Ad\u00e1mek and V. Trnkov\u00e1.Automata and algebras in categories, volume 37 ofMathematics and its Applications (East European Series). Kluwer, Dordrecht, 1990."},{"issue":"3","key":"10.2168\/LMCS-7(2:9)2011_AGM07","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.apal.2008.04.003","volume":"155","author":"S. Aguzzoli, B. Gerla, and V. Marra","year":"2008","journal-title":"\u00c3\u0085nnals of Pure and Applied Logic"},{"issue":"1","key":"10.2168\/LMCS-7(2:9)2011_Bell87","doi-asserted-by":"crossref","first-page":"152","DOI":"10.2307\/2273952","volume":"51","author":"F. Bellissima","year":"1986","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"10.2168\/LMCS-7(2:9)2011_BezhBezh08","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11083-008-9089-1","volume":"25","author":"G. Bezhanishvili and N. Bezhanishvili","year":"2008","journal-title":"Order"},{"key":"10.2168\/LMCS-7(2:9)2011_NickThesis","unstructured":"N. Bezhanishvili.Lattices of Intermediate and Cylindric Modal Logics. PhD thesis, University of Amsterdam, 2006."},{"key":"10.2168\/LMCS-7(2:9)2011_be-ge:calco09","doi-asserted-by":"crossref","unstructured":"N. Bezhanishvili and M. Gehrke. Free Heyting algebras: revisited. InCALCO 2009, volume 5728 ofLNCS, pages 251-266. Springer-Verlag, 2009.","DOI":"10.1007\/978-3-642-03741-2_18"},{"key":"10.2168\/LMCS-7(2:9)2011_bezh-kurz:calco07","doi-asserted-by":"crossref","unstructured":"N. Bezhanishvili and A. Kurz. Free modal algebras: A coalgebraic perspective. InCALCO 2007, volume 4624 ofLNCS, pages 143-157. Springer-Verlag, 2007.","DOI":"10.1007\/978-3-540-73859-6_10"},{"key":"10.2168\/LMCS-7(2:9)2011_BCG06","doi-asserted-by":"crossref","unstructured":"H. Bruun, D. Coumans, and M. Gehrke. Distributive lattice-structured ontologies. InCALCO 2009, volume 5728 ofLNCS, pages 267-283. Springer-Verlag, 2009.","DOI":"10.1007\/978-3-642-03741-2_19"},{"key":"10.2168\/LMCS-7(2:9)2011_Butz98","doi-asserted-by":"crossref","unstructured":"C. Butz. Finitely presented Heyting algebras. Technical report, BRICS, Arhus, 1998.","DOI":"10.7146\/brics.v5i30.19436"},{"issue":"3","key":"10.2168\/LMCS-7(2:9)2011_CJ05","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"S. Celani and R. Jansana","year":"2005","journal-title":"Math. Log. Q."},{"key":"10.2168\/LMCS-7(2:9)2011_CZ97","doi-asserted-by":"crossref","unstructured":"A. Chagrov and M. Zakharyaschev.Modal Logic. The Clarendon Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"10.2168\/LMCS-7(2:9)2011_Ghilardi92","first-page":"240","volume":"6","author":"S. Ghilardi","year":"1992","journal-title":"Math. Rep. Acad. Sci. Canada XVI."},{"key":"10.2168\/LMCS-7(2:9)2011_Ghilardi95","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0168-0072(93)E0084-2","volume":"71","author":"S. Ghilardi","year":"1995","journal-title":"\u00c3\u0085nnals of Pure and Applied Logic"},{"key":"10.2168\/LMCS-7(2:9)2011_Ghilardi10","doi-asserted-by":"crossref","unstructured":"S. Ghilardi. Continuity, freeness, and filtrations. Technical report, Universita DegliStudi di Milano, 2010. Available at http:\/\/homes.dsi.unimi.it\/ ghilardi\/allegati\/research.html.","DOI":"10.3166\/jancl.20.193-217"},{"key":"10.2168\/LMCS-7(2:9)2011_GZ02","doi-asserted-by":"crossref","unstructured":"S. Ghilardi and M. Zawadowski.Sheaves, Games and Model Completions. Kluwer, 2002.","DOI":"10.1007\/978-94-015-9936-8"},{"key":"10.2168\/LMCS-7(2:9)2011_Grigolia87","unstructured":"R. Grigolia.Free algebras of non-classical logics. ``Metsniereba'', Tbilisi, 1987. (in Russian)."},{"key":"10.2168\/LMCS-7(2:9)2011_Joh82","unstructured":"P. T. Johnstone.Stone spaces. Cambridge University Press, Cambridge, 1982."},{"issue":"1-2","key":"10.2168\/LMCS-7(2:9)2011_KKV04","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C. Kupke, A. Kurz, and Y. Venema","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.2168\/LMCS-7(2:9)2011_KurzRos07","doi-asserted-by":"crossref","unstructured":"A. Kurz and J. Rosick\u00fd. The Goldblatt-Thomason theorem for coalgebras. InCALCO 2007, volume 4624 ofLNCS, pages 342-355. Springer-Verlag, 2007.","DOI":"10.1007\/978-3-540-73859-6_23"},{"key":"10.2168\/LMCS-7(2:9)2011_Nerode59","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1215\/S0012-7094-59-02637-7","volume":"26","author":"A. Nerode","year":"1959","journal-title":"Duke Math. J."},{"key":"10.2168\/LMCS-7(2:9)2011_Nishimura60","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","volume":"25","author":"I. Nishimura","year":"1960","journal-title":"J. Symbolic Logic"},{"key":"10.2168\/LMCS-7(2:9)2011_Palmigiano04","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/j.tcs.2004.07.026","volume":"327","author":"A. Palmigiano","year":"2004","journal-title":"Theoretical Computer Sceince"},{"key":"10.2168\/LMCS-7(2:9)2011_dito08","unstructured":"D. Pataraia. High order cylindric algebras. 2011. In preparation."},{"key":"10.2168\/LMCS-7(2:9)2011_SchrPatt08","doi-asserted-by":"crossref","unstructured":"D. Pattinson and L. Schr\u00f6der. Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics. InFOSSACS 2008, volume 4962 ofLNCS, pages 66-80. Springer, 2008.","DOI":"10.1007\/978-3-540-78499-9_6"},{"key":"10.2168\/LMCS-7(2:9)2011_Rieger49","first-page":"1","volume":"189","author":"L. Rieger","year":"1949","journal-title":"\u00c3\u0085cta Fac. Nat. Univ. Carol., Prague"},{"issue":"3","key":"10.2168\/LMCS-7(2:9)2011_Rybakov92","doi-asserted-by":"crossref","first-page":"912","DOI":"10.2307\/2275439","volume":"57","author":"V. Rybakov","year":"1992","journal-title":"J. Symbolic Logic"},{"key":"10.2168\/LMCS-7(2:9)2011_PattSchr06","doi-asserted-by":"crossref","unstructured":"L. Schr\u00f6der and D. Pattinson. {PSPACE bounds for rank-1 modal logics. InProc. 21st IEEE Symposium on Logic in Computer Science (LICS 2006), pages 231-242, 2006.","DOI":"10.1109\/LICS.2006.44"},{"issue":"6","key":"10.2168\/LMCS-7(2:9)2011_Shehtman78","first-page":"1288","volume":"241","author":"V. Shehtman","year":"1978","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"10.2168\/LMCS-7(2:9)2011_Urq73","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/BF02945107","volume":"3","author":"A. Urquhart","year":"1973","journal-title":"Algebras Universalis"},{"key":"10.2168\/LMCS-7(2:9)2011_yde:handbook","doi-asserted-by":"crossref","unstructured":"Y. Venema. Algebras and coalgebras. In P. Blackburn, J. van Benthem, and F. Wolter, editors,Handbook of Modal Logic, pages 331-426. Elsevier, 2007.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"10.2168\/LMCS-7(2:9)2011_Whitman43","doi-asserted-by":"crossref","first-page":"179","DOI":"10.2307\/2371781","volume":"65","author":"P. Whitman","year":"1943","journal-title":"Amer. J. Math."}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/702\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/702\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T21:26:20Z","timestamp":1741728380000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,17]]},"references-count":32,"URL":"https:\/\/doi.org\/10.2168\/lmcs-7(2:9)2011","relation":{"is-same-as":[{"id-type":"arxiv","id":"1102.2828","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1102.2828","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2011,5,17]]},"article-number":"702"}}