{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:23:00Z","timestamp":1648736580609},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,29]],"date-time":"2009-05-29T00:00:00Z","timestamp":1243555200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s11225-009-9189-y","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T06:42:32Z","timestamp":1243492952000},"page":"121-135","source":"Crossref","is-referenced-by-count":0,"title":["On Conservative Extensions in Logics with Infinitary Predicates"],"prefix":"10.1007","volume":"92","author":[{"given":"Mikl\u00f3s","family":"Ferenczi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,5,29]]},"reference":[{"key":"9189_CR1","doi-asserted-by":"crossref","first-page":"671","DOI":"10.2307\/2000932","volume":"309","author":"H. Andr\u00e9ka","year":"1988","unstructured":"Andr\u00e9ka H., Thompson R.J.: \u2018A Stone type representation theorem for algebras of relations of higher rank\u2019. Transaction of Amer. Math. Soc. 309, 671\u2013682 (1988)","journal-title":"Transaction of Amer. Math. Soc."},{"key":"9189_CR2","first-page":"300","volume":"3\u20134","author":"M. Ferenczi","year":"2000","unstructured":"Ferenczi M.: \u2018On representability of neatly embeddable cylindric algebras\u2019. Journal of Applied and Non-Classical Logics 3\u20134, 300\u2013315 (2000)","journal-title":"Journal of Applied and Non-Classical Logics"},{"key":"9189_CR3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s00012-006-1993-x","volume":"55","author":"M. Ferenczi","year":"2006","unstructured":"Ferenczi M., S\u00e1gi G.: \u2018On some developments in the representation theory of cylindric-like algebras\u2019. Algebra Universalis 55, 345\u2013353 (2006)","journal-title":"Algebra Universalis"},{"key":"9189_CR4","doi-asserted-by":"crossref","first-page":"576","DOI":"10.2307\/2271983","volume":"38","author":"J.S. Johnson","year":"1973","unstructured":"Johnson J.S.: \u2018Axiom system for first order logic with finitely many variables\u2019. Journal of Symbolic Logic 38, 576\u2013578 (1973)","journal-title":"Journal of Symbolic Logic"},{"key":"9189_CR5","unstructured":"Henkin, L., J.D. Monk, and A. Tarski, Cylindric Algebras I., North Holland, 1971."},{"key":"9189_CR6","unstructured":"Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras II, North Holland, 1985."},{"key":"9189_CR7","doi-asserted-by":"crossref","first-page":"348","DOI":"10.2178\/bsl\/1182353893","volume":"8","author":"R. Hirsch","year":"2002","unstructured":"Hirsch R., Hodkinson I., Maddux R.: \u2018Provability with finitely many variables\u2019. Bulletin of Symbolic Logic 8, 348\u2013379 (2002)","journal-title":"Bulletin of Symbolic Logic"},{"key":"9189_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.4064\/fm-52-2-177-203","volume":"52","author":"H.J. Keisler","year":"1963","unstructured":"Keisler H.J.: \u2018A complete first order logic with infinitary predicates\u2019. Fund. Math. 52, 177\u2013203 (1963)","journal-title":"Fund. Math."},{"key":"9189_CR9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1090\/S0002-9939-1971-0276063-5","volume":"27","author":"J.D. Monk","year":"1971","unstructured":"Monk J.D.: \u2018Provability with finitely many variables\u2019. Proc. Amer. Math. Soc. 27, 353\u2013358 (1971)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9189_CR10","doi-asserted-by":"crossref","unstructured":"Monk, J.D., Mathematical Logic, Springer, 1976.","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"9189_CR11","unstructured":"Salibra, A., \u2018A general theory of algebras with quantifiers, in Algebraic Logic\u2019, ed. Andr\u00e9ka, H., Monk, J.D., N\u00e9meti, I., Colloq. Math. Soc. J. Bolyai, 54, North Holland, 573\u2013621, 1991."},{"key":"9189_CR12","doi-asserted-by":"crossref","unstructured":"Sayed Ahmed Tarek, and B. Samir, \u2018A neat embedding theorem for expansions of cylindric algebras\u2019, Log. J. of IGPL 15:41\u201357, 2007.","DOI":"10.1093\/jigpal\/jzl032"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9189-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9189-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9189-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:45Z","timestamp":1559370285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9189-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,29]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9189"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9189-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,29]]}}}