{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:05:59Z","timestamp":1759147559807},"reference-count":38,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"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":4246,"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":[[2001,12]]},"DOI":"10.1016\/s0168-0072(01)00084-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:52:08Z","timestamp":1027590728000},"page":"225-266","source":"Crossref","is-referenced-by-count":4,"title":["Relation algebras from cylindric algebras, I"],"prefix":"10.1016","volume":"112","author":[{"given":"Robin","family":"Hirsch","sequence":"first","affiliation":[]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(01)00084-7_BIB1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2586762","article-title":"Finite algebras of relations are representable on finite sets","volume":"64","author":"Andr\u00e9ka","year":"1999","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB2","unstructured":"H. Andr\u00e9ka, J.D. Monk, I. N\u00e9meti (Eds.), Algebraic Logic, Proc. Conf. Budapest, 1988, Number 54 in Colloquia Mathematica Societatis Janos Bolyai, North-Holland, Amsterdam, 1991."},{"issue":"2","key":"10.1016\/S0168-0072(01)00084-7_BIB3","doi-asserted-by":"crossref","first-page":"671","DOI":"10.2307\/2000932","article-title":"A Stone type representation theorem for algebras of relations of higher rank","volume":"309","author":"Andr\u00e9ka","year":"1988","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB4","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1006\/inco.1995.1084","article-title":"Infinitary logic and inductive definability over finite structures","volume":"119","author":"Dawar","year":"1995","journal-title":"Inform. Comput."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.24033\/asens.1027","article-title":"Sur l'extension aux relations de quelques propri\u00e9t\u00e9s des ordres","volume":"71","author":"Fra\u0131\u0308ss\u00e9","year":"1954","journal-title":"Ann. Sci. \u00c9cole Norm. Sup."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB6","series-title":"Cylindric Algebras Part I","author":"Henkin","year":"1971"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB7","series-title":"Cylindric Algebras Part II","author":"Henkin","year":"1985"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB8","unstructured":"R. Hirsch I. Hodkinson, Relation algebras by games, in preparation."},{"issue":"2","key":"10.1016\/S0168-0072(01)00084-7_BIB9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/jigpal\/5.2.209","article-title":"Axiomatising various classes of relation and cylindric algebras, Proc. WoLLIC95, Recife, Brazil","volume":"5","author":"Hirsch","year":"1997","journal-title":"Logic J. IGPL"},{"issue":"3","key":"10.1016\/S0168-0072(01)00084-7_BIB10","doi-asserted-by":"crossref","first-page":"816","DOI":"10.2307\/2275574","article-title":"Complete representations in algebraic logic","volume":"62","author":"Hirsch","year":"1997","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"10.1016\/S0168-0072(01)00084-7_BIB11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2307\/2275740","article-title":"Step by step\u2014building representations in algebraic logic","volume":"62","author":"Hirsch","year":"1997","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB12","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/S0168-0072(01)00085-9","article-title":"Relation algebras from cylindric algebras","volume":"112","author":"Hirsch","year":"2001","journal-title":"II. Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB13","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1090\/S0002-9947-99-02264-3","article-title":"Representability is not decidable for finite relation algebras","volume":"353","author":"Hirsch","year":"2001","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB14","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(99)00022-6","article-title":"Relation algebras with n-dimensional relational bases","volume":"101","author":"Hirsch","year":"2000","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB15","unstructured":"R. Hirsch, I. Hodkinson, R. Maddux, Relation algebra reducts of cylindric algebras and an application to proof theory, 1998, submitted for publication."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB16","volume":"vol. 42","author":"Hodges","year":"1993"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB17","unstructured":"I. Hodkinson, Sz Mikul\u00e1s, Y. Venema, Axiomatizing complex algebras by games, Algebra Universalis, to appear."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB18","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1017\/S0308210500010647","article-title":"Idempotent generators in finite full transformation semigroups","volume":"81","author":"Howie","year":"1978","journal-title":"Proc. Roy. Soc. Edinburgh Sect. A"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB19","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1307\/mmj\/1028998625","article-title":"Defining relations for full semigroups of finite transformations","volume":"9","author":"J\u00f3nsson","year":"1962","journal-title":"Michigan Math. J."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB20","unstructured":"B. J\u00f3nsson, A. Tarski, Representation problems for relation algebras, Bull. Amer. Math. Soc. 54 (1948) 80 and 1192."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB21","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"Amer. J. Math."},{"issue":"3","key":"10.1016\/S0168-0072(01)00084-7_BIB23","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","article-title":"The representation of relational algebras","volume":"51","author":"Lyndon","year":"1950","journal-title":"Ann. Math."},{"issue":"2","key":"10.1016\/S0168-0072(01)00084-7_BIB24","doi-asserted-by":"crossref","first-page":"294","DOI":"10.2307\/1969611","article-title":"The representation of relation algebras, II","volume":"63","author":"Lyndon","year":"1956","journal-title":"Ann. Math."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB25","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028998510","article-title":"Relation algebras and projective geometries","volume":"8","author":"Lyndon","year":"1961","journal-title":"Michigan Math. J."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB26","unstructured":"R. Maddux, Topics in Relation Algebra, Doctoral Dissertation, University of California, Berkeley, 1978."},{"issue":"2","key":"10.1016\/S0168-0072(01)00084-7_BIB27","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","article-title":"Some varieties containing relation algebras","volume":"272","author":"Maddux","year":"1982","journal-title":"Trans. AMS"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB28","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","article-title":"A sequent calculus for relation algebras","volume":"25","author":"Maddux","year":"1983","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB29","series-title":"Algebraic Logic, Proc. Conf. Budapest, 1988, Number 54 in Colloquia Mathematica Societatis Janos Bolyai","first-page":"361","article-title":"Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections","author":"Maddux","year":"1991"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB30","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.2307\/2275365","article-title":"Relation algebras of every dimension","volume":"57","author":"Maddux","year":"1992","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"10.1016\/S0168-0072(01)00084-7_BIB31","doi-asserted-by":"crossref","first-page":"951","DOI":"10.2307\/2274756","article-title":"Non-finite axiomatizability results for cylindric and relation algebras","volume":"54","author":"Maddux","year":"1989","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB32","unstructured":"R. McKenzie, The representation of relation algebras, Doctoral Dissertation, University of Colorado at Boulder, 1966."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB33","doi-asserted-by":"crossref","first-page":"1447","DOI":"10.2140\/pjm.1961.11.1447","article-title":"On the representation theory for cylindric algebras","volume":"11","author":"Monk","year":"1961","journal-title":"Pacific J. Math."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB34","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","article-title":"On representable relation algebras","volume":"11","author":"Monk","year":"1964","journal-title":"Michigan Math. J."},{"key":"10.1016\/S0168-0072(01)00084-7_BIB35","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","article-title":"Nonfinitizability of classes of representable cylindric algebras","volume":"34","author":"Monk","year":"1969","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB36","series-title":"Algebraic Logic, Proc. Conf. Budapest, 1988, Number 54 in Colloquia Mathematica Societatis Janos Bolyai","first-page":"519","article-title":"Characterizing relativized cylindric algebras","author":"Resek","year":"1991"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB37","series-title":"A Formalization of Set Theory Without Variables","author":"Tarski","year":"1987"},{"key":"10.1016\/S0168-0072(01)00084-7_BIB38","series-title":"Algebraic Methods in Logic and in Computer Science, volume 28 of Banach Center publications","first-page":"327","article-title":"Complete description of substitutions in cylindric algebras and other algebraic logics","author":"Thompson","year":"1993"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000847?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000847?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:23:54Z","timestamp":1620098634000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007201000847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":38,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0168007201000847"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00084-7","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}