{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T08:36:02Z","timestamp":1775810162451,"version":"3.50.1"},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6036,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1997,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.<\/jats:p>","DOI":"10.2307\/2275574","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T23:01:58Z","timestamp":1146956518000},"page":"816-847","source":"Crossref","is-referenced-by-count":42,"title":["Complete representations in algebraic logic"],"prefix":"10.1017","volume":"62","author":[{"given":"Robin","family":"Hirsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200016042_ref020","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone","year":"1936","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200016042_ref001","volume-title":"Algebraic logic","author":"Andr\u00e9ka","year":"1991"},{"key":"S0022481200016042_ref005","volume-title":"Cylindric algebras Part II","author":"Henkin","year":"1985"},{"key":"S0022481200016042_ref013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0662049-7"},{"key":"S0022481200016042_ref021","unstructured":"Venema Y. , Many-dimensional modal logic, Ph.D, thesis , University of Amsterdam, 1992."},{"key":"S0022481200016042_ref007","unstructured":"Hirsch R. and Hodkinson I. , Step by step \u2014 building representations in algebraic logic, this Journal, to appear."},{"key":"S0022481200016042_ref017","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1307\/mmj\/1029000477","article-title":"Representation of integral relation algebras","volume":"17","author":"McKenzie","year":"1970","journal-title":"Michigan Mathematics Journal"},{"key":"S0022481200016042_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/1969611"},{"key":"S0022481200016042_ref004","volume-title":"Cylindric algebras Part I","author":"Henkin","year":"1971"},{"key":"S0022481200016042_ref008","article-title":"Representation problems for relation algebras","volume":"54","author":"J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S0022481200016042_ref016","unstructured":"Marx M. , Algebraic relativization and arrow logic, Ph.D, thesis , University of Amsterdam, 1995, ILLC Dissertation Series 95-3."},{"key":"S0022481200016042_ref010","doi-asserted-by":"publisher","DOI":"10.2307\/1969375"},{"key":"S0022481200016042_ref009","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"S0022481200016042_ref002","volume-title":"Model theory","author":"Chang","year":"1973"},{"key":"S0022481200016042_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"S0022481200016042_ref006","first-page":"77","article-title":"Completely representable relation algebras","volume":"3","author":"Hirsch","year":"1995","journal-title":"Bulletin of the interest group in propositional and predicate logics"},{"key":"S0022481200016042_ref012","unstructured":"Maddux R. , Topics in relation algebra, Ph.D. thesis , University of California, Berkeley, 1969."},{"key":"S0022481200016042_ref014","first-page":"361","volume-title":"Algebraic logic","author":"Maddux","year":"1991"},{"key":"S0022481200016042_ref015","first-page":"951","volume":"54","author":"Maddux","year":"1989","journal-title":"Non-finite axiomatizability results for cylindric and relation algebras"},{"key":"S0022481200016042_ref018","unstructured":"Mikul\u00e1s S. , Taming logics, Ph.D. thesis , University of Amsterdam, 1995, ILLC Dissertation Series 95-12."},{"key":"S0022481200016042_ref019","volume-title":"Algebraic methods in logic and in computer science","volume":"28","author":"Monk","year":"1993"},{"key":"S0022481200016042_ref022","first-page":"377","volume-title":"Proceedings of the fifth AAAI","author":"Villain","year":"1986"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200016042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T20:25:10Z","timestamp":1557606310000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200016042\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S0022481200016042"],"URL":"https:\/\/doi.org\/10.2307\/2275574","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}