{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T10:32:06Z","timestamp":1714559526326},"reference-count":45,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6220,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1997,3]]},"abstract":"Abstract<\/jats:title>We consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterized according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Finte relation algebras with homogeneous representations are characterized by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is \u03c9-categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable.<\/jats:p>An important open problem from algebraic logic is addressed by devising another two-player game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras.<\/jats:p>Other instances of this approach are looked at, and include the step by step method.<\/jats:p>","DOI":"10.2307\/2275740","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T23:00:36Z","timestamp":1146956436000},"page":"225-279","source":"Crossref","is-referenced-by-count":24,"title":["Step by step \u2013 Building representations in algebraic logic"],"prefix":"10.1017","volume":"62","author":[{"given":"Robin","family":"Hirsch","sequence":"first","affiliation":[]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200016674_ref044","first-page":"591","volume":"60","author":"Venema","year":"1995","journal-title":"Cylindric modal logic"},{"key":"S0022481200016674_ref043","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1990.tb00130.x"},{"key":"S0022481200016674_ref040","volume-title":"Selected papers: Model theory and algebra","author":"Robinson","year":"1979"},{"key":"S0022481200016674_ref038","volume-title":"Algebraisations of quantifier logics, an introductory overview","author":"N\u00e9meti"},{"key":"S0022481200016674_ref037","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370684"},{"key":"S0022481200016674_ref036","volume-title":"Algebraic methods in logic and in computer science","volume":"28","author":"Monk","year":"1993"},{"key":"S0022481200016674_ref035","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 Mathematics Journal"},{"key":"S0022481200016674_ref033","unstructured":"[33] McKenzie R. , The representation of relation algebras, Ph.D. thesis , University of Colorado at Boulder, 1966."},{"key":"S0022481200016674_ref032","unstructured":"[32] Marx M. , Algebraic relativization and arrow logic, Ph.D. thesis , University of Amsterdam, 1995, ILLC Dissertation Series 95-3."},{"key":"S0022481200016674_ref031","article-title":"The origin of relation algebras in the development and axiomatization of the calculus of relations","volume":"3","author":"Maddux","year":"1991","journal-title":"Studia Logica"},{"key":"S0022481200016674_ref030","first-page":"951","volume":"54","author":"Maddux","year":"1989","journal-title":"Non-finite axiomatizability results for cylindric and relation algebras"},{"key":"S0022481200016674_ref028","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0662049-7"},{"key":"S0022481200016674_ref027","unstructured":"[27] Maddux R. , Topics in relation algebra, Ph.D. thesis , University of California, Berkeley, 1969."},{"key":"S0022481200016674_ref026","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 Mathematics Journal"},{"key":"S0022481200016674_ref025","doi-asserted-by":"publisher","DOI":"10.2307\/1969611"},{"key":"S0022481200016674_ref024","doi-asserted-by":"publisher","DOI":"10.2307\/1969375"},{"key":"S0022481200016674_ref023","volume-title":"The algebra of convex time intervals","author":"Ladkin","year":"1987"},{"key":"S0022481200016674_ref022","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"S0022481200016674_ref021","article-title":"Representation problems for relation algebras","volume":"54","author":"J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S0022481200016674_ref019","volume-title":"Building models by games","author":"Hodges","year":"1985"},{"key":"S0022481200016674_ref016","volume-title":"Cylindric algebras part II","author":"Henkin","year":"1985"},{"key":"S0022481200016674_ref014","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1953-0055287-X"},{"key":"S0022481200016674_ref039","volume-title":"Studia Logica","author":"Reynolds"},{"key":"S0022481200016674_ref013","volume-title":"Contemporary mathematics","volume":"156","author":"Givant","year":"1994"},{"key":"S0022481200016674_ref034","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":"S0022481200016674_ref018","article-title":"Complete representations in algebraic logic","author":"Hirsch","year":"1996","journal-title":"Journal of Symbolic Logic"},{"key":"S0022481200016674_ref029","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0098465"},{"key":"S0022481200016674_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"S0022481200016674_ref045","first-page":"377","volume-title":"Proceedings of the fifth AAAI","author":"Villain","year":"1986"},{"key":"S0022481200016674_ref042","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/041"},{"key":"S0022481200016674_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190815"},{"key":"S0022481200016674_ref007","unstructured":"[7] Blackburn P. , Reasoning in and about time, Ph.D. thesis , Centre for Cognitive Science, University of Edinburgh, 1989."},{"key":"S0022481200016674_ref020","volume-title":"Projective planes","author":"Hughes","year":"1973"},{"key":"S0022481200016674_ref001","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S0022481200016674_ref011","doi-asserted-by":"publisher","DOI":"10.24033\/asens.1027"},{"key":"S0022481200016674_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/2000932"},{"key":"S0022481200016674_ref017","unstructured":"[17] Hirsch R. , Relation algebras of intervals, Ph,D. thesis , Imperial College, 1994."},{"key":"S0022481200016674_ref041","first-page":"73","volume":"6","author":"Tarski","year":"1941","journal-title":"On the calculus of relations"},{"key":"S0022481200016674_ref015","volume-title":"Cylindric algebras part I","author":"Henkin","year":"1971"},{"key":"S0022481200016674_ref012","first-page":"291","article-title":"Infinite games with perfect information, Contributions to the theory of games II","volume":"28","author":"Gale","year":"1953","journal-title":"Annals of Mathematical Studies"},{"key":"S0022481200016674_ref003","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1307\/mmj\/1029004592","article-title":"A nonpermutational integral relation algebra","volume":"39","author":"Andr\u00e9ka","year":"1992","journal-title":"Michigan Mathematics Journal"},{"key":"S0022481200016674_ref004","volume-title":"Algebraic logic","author":"Andr\u00e9ka","year":"1991"},{"key":"S0022481200016674_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90008-2"},{"key":"S0022481200016674_ref008","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870149"},{"key":"S0022481200016674_ref009","volume-title":"Model theory","author":"Chang","year":"1990"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200016674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:32:01Z","timestamp":1627331521000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200016674\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["S0022481200016674"],"URL":"https:\/\/doi.org\/10.2307\/2275740","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}