{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T20:43:34Z","timestamp":1711572214751},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T00:00:00Z","timestamp":1277424000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s00153-010-0194-7","type":"journal-article","created":{"date-parts":[[2010,6,24]],"date-time":"2010-06-24T02:28:16Z","timestamp":1277346496000},"page":"743-771","source":"Crossref","is-referenced-by-count":5,"title":["On Bellissima\u2019s construction of the finitely generated free Heyting algebras, and beyond"],"prefix":"10.1007","volume":"49","author":[{"given":"Luck","family":"Darni\u00e8re","sequence":"first","affiliation":[]},{"given":"Markus","family":"Junker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,25]]},"reference":[{"issue":"1","key":"194_CR1","first-page":"152","volume":"51","author":"F. Bellissima","year":"1986","unstructured":"Bellissima F.: Finitely generated free Heyting algebras. JSL 51(1), 152\u2013165 (1986)","journal-title":"JSL"},{"issue":"2\u20133","key":"194_CR2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s11083-006-9037-x","volume":"23","author":"G. Bezhanishvili","year":"2006","unstructured":"Bezhanishvili G., Gehrke M., Mines R., Morandi P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23(2\u20133), 143\u2013161 (2006)","journal-title":"Order"},{"key":"194_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., de Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"194_CR4","unstructured":"Bezhanishvili, N.: Lattices of Intermediate and Cylindric Modal Logics. Doctoral thesis, Universiteit van Amsterdam (2006)"},{"issue":"3","key":"194_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11083-008-9089-1","volume":"25","author":"G. Bezhanishvili","year":"2008","unstructured":"Bezhanishvili G., Bezhanishvili N.: Profinite Heyting algebras. Order 25(3), 211\u2013223 (2008)","journal-title":"Order"},{"key":"194_CR6","unstructured":"Darni\u00e8re, L.: Model-completion of Scaled Lattices. LAREMA-Preprint No. 191, Universit\u00e9 d\u2019Angers, mai (2004)"},{"key":"194_CR7","unstructured":"Darni\u00e8re, L., Junker, M.: Codimension and Pseudometric in (dual) Heyting Algebras. Algebra Universalis (to appear)"},{"key":"194_CR8","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Visser, A.: Embeddings of Heyting Algebras. In: Logic: from Foundations to Applications, pp. 187\u2013213, Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0008"},{"key":"194_CR9","volume-title":"Intuitionistic Logic Model Theory and Forcing","author":"M. Fitting","year":"1969","unstructured":"Fitting M.: Intuitionistic Logic Model Theory and Forcing. North Holland, Amsterdam (1969)"},{"issue":"6","key":"194_CR10","first-page":"240","volume":"14","author":"S. Ghilardi","year":"1992","unstructured":"Ghilardi S.: Free Heyting algebras as bi-Heyting algebras. C. R. Math. Rep. Acad. Sci. Can. 14(6), 240\u2013244 (1992)","journal-title":"C. R. Math. Rep. Acad. Sci. Can."},{"key":"194_CR11","unstructured":"Ghilardi, S.: Irreducible models and definable embeddings. In: Csirmaz, Gabbay, de Rijke (eds.) Logic Colloquium \u201992, Studies in Logic, Language and Information, CSLI Publications, Stanford, pp. 95\u2013113 (1995)"},{"key":"194_CR12","first-page":"27","volume":"88","author":"S. Ghilardi","year":"1997","unstructured":"Ghilardi S., Zawadowski M.: Model completions and r-Heyting categories. APAL 88, 27\u201346 (1997)","journal-title":"APAL"},{"key":"194_CR13","unstructured":"Ghilardi, S., Zawadowski, M.: Sheaves, Games, and Model Completions, Trends in Logic col. 14, Kluwer Academic Publishers, Dordrecht 2002. APAL 88, 27\u201346 (1997)"},{"key":"194_CR14","volume-title":"Free Algebras of Nonclassical Logics","author":"R. Grigolia","year":"1987","unstructured":"Grigolia R.: Free Algebras of Nonclassical Logics. Metsniereba Press, Tbilisiz (1987)"},{"key":"194_CR15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-94-011-0215-5_4","volume-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets","author":"R. Grigolia","year":"1995","unstructured":"Grigolia R.: Free and projective Heyting and monadic Heyting algebras. In: H\u00f6hle, U., Klement, E.P. (eds) Non-Classical Logics and Their Applications to Fuzzy Subsets, pp. 33\u201352. Kluwer Academic Publisher, Dordrecht (1995)"},{"key":"194_CR16","unstructured":"Grigolia, R.: Free Heyting algebras and their automorphism groups. In: Proceedings of Institute of Cybernetics vol. 2(1\u20132) (2002)"},{"key":"194_CR17","doi-asserted-by":"crossref","unstructured":"Hodges, W.: Model theory. In: Encyclopedia of Mathematics and its Applications vol. 42, Cambridge University Press, Cambridge (1993)","DOI":"10.1017\/CBO9780511551574"},{"issue":"1989","key":"194_CR18","first-page":"71","volume":"23","author":"P. Idziak","year":"1990","unstructured":"Idziak P.: Elementary theory of free Heyting algebras. Rep. Math. Log. 23(1989), 71\u201373 (1990)","journal-title":"Rep. Math. Log."},{"issue":"1","key":"194_CR19","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","unstructured":"McKinsey J., Tarski A.: On closed elements in closure algebras. Ann. Math. 47(1), 122\u2013162 (1946)","journal-title":"Ann. Math."},{"issue":"1","key":"194_CR20","first-page":"33","volume":"57","author":"A. Pitts","year":"1992","unstructured":"Pitts A.: On an interpretation of second order quantification in first order intuitionistic propositional logic. JSL 57(1), 33\u201352 (1992)","journal-title":"JSL"},{"issue":"6","key":"194_CR21","first-page":"797","volume":"37","author":"V.V. Rybakov","year":"1985","unstructured":"Rybakov V.V.: The elementary theories of free topo-Boolean and pseudo-Boolean algebras. Mat. Zamet. 37(6), 797\u2013802 (1985)","journal-title":"Mat. Zamet."},{"key":"194_CR22","first-page":"1","volume":"67","author":"M.H. Stone","year":"1937","unstructured":"Stone M.H.: Topological representations of distributive Lattices and Brouwerian Logics. \u010casopis Pro p\u030cestov\u00e1n\u00ed Matematikyv a Fysiky 67, 1\u201325 (1937)","journal-title":"\u010casopis Pro p\u030cestov\u00e1n\u00ed Matematikyv a Fysiky"},{"key":"194_CR23","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/BF02945107","volume":"3","author":"A. Urquhart","year":"1973","unstructured":"Urquhart A.: Free Heyting algebras. Algebra Univ. 3, 94\u201397 (1973)","journal-title":"Algebra Univ."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0194-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0194-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0194-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T20:08:51Z","timestamp":1711570131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0194-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,25]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["194"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0194-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,25]]}}}