{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:18Z","timestamp":1761611178109},"reference-count":21,"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":5490,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1999,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the \u2018finite base property\u2019 and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.<\/jats:p>","DOI":"10.2307\/2586762","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:02:25Z","timestamp":1146938545000},"page":"243-267","source":"Crossref","is-referenced-by-count":20,"title":["Finite algebras of relations are representable on finite sets"],"prefix":"10.1017","volume":"64","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200014018_ref022","first-page":"177","volume-title":"Logic colloquium '92","year":"1995"},{"key":"S0022481200014018_ref023","first-page":"221","volume-title":"Arrow logic and multi-modal logic","year":"1996"},{"key":"S0022481200014018_ref020","volume-title":"Doctoral dissertation with the Academy","year":"1986"},{"key":"S0022481200014018_ref007","journal-title":"Israel Journal of Mathematics"},{"key":"S0022481200014018_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01299742"},{"key":"S0022481200014018_ref005","volume-title":"Cylindric set algebras","volume":"883","year":"1981"},{"key":"S0022481200014018_ref004","volume-title":"Cylindric algebras","year":"1985"},{"key":"S0022481200014018_ref003","first-page":"163","volume":"63","year":"1998","journal-title":"Relativised quantification: some canonical varieties of sequence-set algebras"},{"key":"S0022481200014018_ref002","volume-title":"Finite model property of bounded fragment of first-order logic and cylindric-relativized set algebras","year":"1995"},{"key":"S0022481200014018_ref001","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"S0022481200014018_ref019","volume-title":"Neither the variety of cylindric algebras nor the variety of representable cylindric algebras is generated by its finite members for dimensions greater than 2","year":"1984"},{"key":"S0022481200014018_ref018","first-page":"253","volume-title":"Algebraic methods in logic and in computer science","volume":"28","year":"1993"},{"key":"S0022481200014018_ref017","first-page":"719","volume-title":"Algebraic logic","volume":"54","year":"1991"},{"key":"S0022481200014018_ref016","volume-title":"Proceedings of relational methods in computer science (RelMiCS)","year":"1997"},{"key":"S0022481200014018_ref014","journal-title":"Decidability of cylindric algebras of dimension two and first order logic with two variables"},{"key":"S0022481200014018_ref013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0662049-7"},{"key":"S0022481200014018_ref012","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"S0022481200014018_ref011","first-page":"245","volume-title":"Algebraic logic","volume":"54","year":"1991"},{"key":"S0022481200014018_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF01305233"},{"key":"S0022481200014018_ref025","volume-title":"Memorial volume for Elena Rasiowa","year":"1995"},{"key":"S0022481200014018_ref021","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1090\/S0002-9939-1987-0884476-5","volume":"100","year":"1987","journal-title":"Proceedings of the American Mathematical Society"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200014018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:07:08Z","timestamp":1557515228000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200014018\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S0022481200014018"],"URL":"https:\/\/doi.org\/10.2307\/2586762","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}