{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T07:59:42Z","timestamp":1697615982963},"reference-count":41,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"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":5645,"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":[[1998,2]]},"DOI":"10.1016\/s0168-0072(98)00032-3","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:00:04Z","timestamp":1051124404000},"page":"93-190","source":"Crossref","is-referenced-by-count":11,"title":["Notions of density that imply representability in algebraic logic"],"prefix":"10.1016","volume":"91","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Givant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(98)00032-3_BIB1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BF01190407","article-title":"Representations of distributive lattice-ordered semigroups with binary relations","volume":"28","author":"Andr\u00e9ka","year":"1991","journal-title":"Algebra Universalis"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB2_1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0168-0072(97)00027-4","article-title":"Complexity of equations valid in algebras of relations","volume":"89","author":"Andr\u00e9ka","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB2_2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0168-0072(97)00028-6","article-title":"Complexity of equations valid in algebras of relations","volume":"89","author":"Andr\u00e9ka","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02121113","article-title":"On universal algebraic constructions of logics","volume":"37","author":"Andr\u00e9ka","year":"1977","journal-title":"Studia Logica"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB4","series-title":"Algebraic Methodology and Software Technology (AMAST '93), Proc. Twente","first-page":"7","article-title":"Applying algebraic logic to logic","author":"Andr\u00e9ka","year":"1994"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB5","article-title":"Lattice Theory","volume":"vol. 25","author":"Birkhoff","year":"1967"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB6","article-title":"Model Theory","volume":"vol. 73","author":"Chang","year":"1973"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB7","first-page":"341","article-title":"Distributive and modular laws in the arithmetic of relation algebras","volume":"1","author":"Chin","year":"1951","journal-title":"Univ. California Publications Math., New Ser."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01058532","article-title":"Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras","volume":"54","author":"De Rijke","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB9","first-page":"176","article-title":"Cylindric and polyadic algebras","volume":"8","author":"Galler","year":"1957"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB10","article-title":"The Structure of Relation Algebras Generated by Relativizations","volume":"vol. 156","author":"Givant","year":"1994"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB11","series-title":"Algebraic Logic","author":"Halmos","year":"1962"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB12","article-title":"Cylindric Algebras. Part I","volume":"vol. 64","author":"Henkin","year":"1971"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB13","article-title":"Cylindric Algebras. Part II","volume":"vol. 115","author":"Henkin","year":"1985"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB14","series-title":"Lattice Theory","first-page":"83","article-title":"Cylindric algebras","volume":"vol. 2","author":"Henkin","year":"1961"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0168-0072(97)00015-8","article-title":"Atom structures of cylindric algebras and relation algebras","volume":"89","author":"Hodkinson","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB16","series-title":"Algebraic Methods in Logic and Computer Science","first-page":"239","article-title":"Discriminator varieties of Boolean algebras with residuated operators","volume":"vol. 28","author":"Jipsen","year":"1993"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB17","doi-asserted-by":"crossref","first-page":"344","DOI":"10.2307\/2270901","article-title":"Nonfinitizability of classes of representable polyadic algebras","volume":"34","author":"Johnson","year":"1969","journal-title":"J. Symbol. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB18","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators. Part I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators. Part II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1090\/S0002-9947-1991-1049616-1","article-title":"Pair-dense relation algebras","volume":"328","author":"Maddux","year":"1991","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB21","series-title":"Arrow Logic and Multi-Modal Logic","year":"1996"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB22","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2307\/2271899","article-title":"On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model","volume":"40","author":"McKenzie","year":"1975","journal-title":"J. Symbol. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB23","article-title":"Taming Logics","author":"Mikul\u00e1s","year":"1995"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB24","series-title":"Proof Theory of Modal Logic","first-page":"143","article-title":"Gabbay-style calculi","author":"Mikul\u00e1s","year":"1996"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB25","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(98)00032-3_BIB26","first-page":"185","article-title":"Singulary cylindric and polyadic equality algebras","volume":"112","author":"Monk","year":"1964","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB27","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1002\/mana.19700460105","article-title":"Completions of Boolean algebras with operators","volume":"46","author":"Monk","year":"1970","journal-title":"Math. Nach."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB28","series-title":"Algebraic Logic","first-page":"723","article-title":"Remarks on the problems in the books Cylindric Algebras, Part I and Part II and Cylindric Set Algebras","author":"Monk","year":"1991"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB29_1","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","article-title":"Algebraizations of quantifier logics, an introductory overview","volume":"50","author":"N\u00e9meti","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB29_2","author":"N\u00e9meti","year":"1993"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB30","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1305\/ndjfl\/1093891000","article-title":"A simple algebra of first order logic","volume":"14","author":"Pinter","year":"1973","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB31","series-title":"Algebraic Logic and Universal Algebra in Computer Science","first-page":"77","article-title":"Dynamic algebras as a well-behaved fragment of relation algebras","volume":"vol. 425","author":"Pratt","year":"1990"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB32","series-title":"Strong Amalgamation and Epimorphisms of Cylindric Algebras and Boolean Algebras with Operators","author":"Sain","year":"1982"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB33","first-page":"S2","article-title":"Weak products for universal algebra and model theory","volume":"8","author":"Sain","year":"1982","journal-title":"Diagrammes"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB34","series-title":"Algebraic Logic","first-page":"539","article-title":"Strictly finite schema axiomatization of quasi-polyadic algebras","author":"Sain","year":"1991"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB35","article-title":"Boolean Algebras","volume":"vol. 25","author":"Sikorski","year":"1964"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB36","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"J. Symbol. Logic"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB37","first-page":"65","article-title":"A representation theorem for cylindric algebras (abstract)","volume":"58","author":"Tarski","year":"1952","journal-title":"Bull. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(98)00032-3_BIB38","series-title":"=Ind. Math. 17","first-page":"56","article-title":"Contributions to the theory of models. III","volume":"58","author":"Tarski","year":"1955"},{"key":"10.1016\/S0168-0072(98)00032-3_BIB39","doi-asserted-by":"crossref","DOI":"10.2307\/2586666","article-title":"Rectangular games","author":"Venema","year":"1996"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007298000323?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007298000323?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T10:55:06Z","timestamp":1555066506000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007298000323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":41,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["S0168007298000323"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(98)00032-3","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}