乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T04:43:30Z","timestamp":1693197810640},"reference-count":24,"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)00085-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:52:08Z","timestamp":1027590728000},"page":"267-297","source":"Crossref","is-referenced-by-count":9,"title":["Relation algebras from cylindric algebras, II"],"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)00085-9_BIB1","unstructured":"T. Ahmed, The class of neat reducts is not elementary, preprint, 1999."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB2","unstructured":"H. Andr\u00e9ka, Finite axiomatizability of SNrnCAn+1 and non-finite axiomatizability of SNrnCAn+2, Lecture Notes for a Series of Lectures Given at Algebraic Logic Meeting, Oakland, CA, 1990."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB3","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, Part I","volume":"89","author":"Andr\u00e9ka","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB4","unstructured":"H. Andr\u00e9ka, J.D. Monk, I. N\u00e9meti (Eds.), Algebraic Logic, Proc. Conf. Budapest, 1988, Number 54 in Colloquia Mathematica Societatis J\u00e1nos Bolyai, North-Holland, Amsterdam, 1991."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB5","unstructured":"H. Andr\u00e9ka, I. N\u00e9meti, I. Sain, Algebraic logic, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, 2nd ed., Kluwer, Dordrecht, in preparation, Draft available at http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/handbook.html."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB6","series-title":"Cylindric Algebras Part I","author":"Henkin","year":"1971"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB7","series-title":"Cylindric Algebras Part II","author":"Henkin","year":"1985"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0168-0072(01)00084-7","article-title":"Relation algebras from cylindric algebras, I.","volume":"112","author":"Hirsch","year":"2001","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB9","doi-asserted-by":"crossref","unstructured":"H. Hirsch, I. Hodkinson, Representability is not decidable for finite relation algebras. Trans. Amer. Math. Soc. 353 (2001) 1403\u20131425.","DOI":"10.1090\/S0002-9947-99-02264-3"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB10","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)00085-9_BIB11","doi-asserted-by":"crossref","unstructured":"R. Hirsch, I. Hodkinson, R. Maddux, Relation algebra reducts of cylindric algebras and an application to proof theory, J. Symbolic Logic 2001, to appear.","DOI":"10.2178\/jsl\/1190150037"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB12","series-title":"Model Theory","volume":"vol. 42","author":"Hodges","year":"1993"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB13","unstructured":"B. J\u00f3nsson, The theory of binary relations, in: Andr\u00e9ka et al. [4], pp. 245\u2013292."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB14","unstructured":"R. Maddux, Topics in relation algebra, Doctoral Dissertation, University of California, Berkeley, 1978."},{"issue":"2","key":"10.1016\/S0168-0072(01)00085-9_BIB15","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)00085-9_BIB16","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)00085-9_BIB17","unstructured":"R. Maddux, Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, in: Andr\u00e9ka et al. [4], pp. 361\u2013392."},{"key":"10.1016\/S0168-0072(01)00085-9_BIB18","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BF00370681","article-title":"The origin of relation algebras in the development and axiomatization of the calculus of relations","volume":"3\/4","author":"Maddux","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB19","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)00085-9_BIB20","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)00085-9_BIB21","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)00085-9_BIB22","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)00085-9_BIB23","series-title":"A Formalization of Set Theory Without Variables, Number 41 in Colloquium Publications in Mathematics","author":"Tarski","year":"1987"},{"key":"10.1016\/S0168-0072(01)00085-9_BIB24","first-page":"327","article-title":"Complete description of substitutions in cylindric algebras and other algebraic logics","volume":"vol. 28","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:S0168007201000859?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000859?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T00:07:45Z","timestamp":1578442065000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007201000859"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0168007201000859"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00085-9","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}