{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:31Z","timestamp":1740123031760,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,2,24]],"date-time":"2017-02-24T00:00:00Z","timestamp":1487894400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s11225-017-9710-7","type":"journal-article","created":{"date-parts":[[2017,2,24]],"date-time":"2017-02-24T06:12:28Z","timestamp":1487916748000},"page":"761-786","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Relativised Homomorphism Preservation at the Finite Level"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5177-4434","authenticated-orcid":false,"given":"Lucy","family":"Ham","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,24]]},"reference":[{"key":"9710_CR1","doi-asserted-by":"crossref","unstructured":"Ajtai, M., and Y. Gurevich, Monotone versus positive. J. Assoc. Comput. Mach. 34(4):1004\u20131015, 1987.","DOI":"10.1145\/31846.31852"},{"key":"9710_CR2","doi-asserted-by":"crossref","unstructured":"Atserias, A., On digraph coloring problems and treewidth duality. European J. Combin. 29(4):796\u2013820, 2008.","DOI":"10.1016\/j.ejc.2007.11.004"},{"issue":"4","key":"9710_CR3","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.1137\/060658709","volume":"38","author":"A Atserias","year":"2008","unstructured":"Atserias, A., A. Dawar, and M. Grohe, Preservation under extensions on well-behaved finite structures. SIAM J. Comput. 38(4):1364\u20131381, 2008.","journal-title":"SIAM J. Comput."},{"key":"9710_CR4","doi-asserted-by":"crossref","unstructured":"Atserias, A., A. Dawar, and P. G. Kolaitis, On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2):208\u2013237 (electronic), 2006.","DOI":"10.1145\/1131342.1131344"},{"issue":"5","key":"9710_CR5","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1016\/j.aim.2008.03.020","volume":"218","author":"DM Clark","year":"2008","unstructured":"Clark, D. M., B. A. Davey, M. G. Jackson, and J. G. Pitkethly, The axiomatizability of topological prevarieties. Adv. Math. 218(5):1604\u20131653, 2008.","journal-title":"Adv. Math."},{"key":"9710_CR6","unstructured":"Feder, T., and M.\u00a0Y. Vardi, The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28(1):57\u2013104 (electronic), 1999."},{"key":"9710_CR7","unstructured":"Gorbunov, V.\u00a0A., Algebraic Theory of Quasivarieties. Siberian School of Algebra and Logic. Consultants Bureau, New York, 1998. Translated from the Russian."},{"key":"9710_CR8","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Toward logic tailored for computational complexity. In Computation and proof theory (Aachen, 1983), volume 1104 of Lecture Notes in Math., pp. 175\u2013216. Springer, Berlin, 1984.","DOI":"10.1007\/BFb0099486"},{"key":"9710_CR9","unstructured":"Hodges, W., A Shorter Model Theory. Cambridge University Press, 1997."},{"issue":"1","key":"9710_CR10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s11225-012-9372-4","volume":"101","author":"M Jackson","year":"2013","unstructured":"Jackson, M., and B.\u00a0Trotta, Constraint satisfaction, irredundant axiomatisability and continuous colouring. Studia Logica 101(1):65\u201394, 2013.","journal-title":"Studia Logica"},{"key":"9710_CR11","doi-asserted-by":"crossref","unstructured":"Larose, B., C.\u00a0Loten, and C.\u00a0Tardif, A characterisation of first-order constraint satisfaction problems. Log. Methods Comput. Sci. 3(4\u20136):1\u201322, 2007.","DOI":"10.2168\/LMCS-3(4:6)2007"},{"key":"9710_CR12","doi-asserted-by":"crossref","unstructured":"Libkin, L., Elements of Finite Model Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin, 2004.","DOI":"10.1007\/978-3-662-07003-1"},{"key":"9710_CR13","doi-asserted-by":"crossref","unstructured":"Rossman, B., Homomorphism preservation theorems. J. ACM 55(3):1\u201353, 2008.","DOI":"10.1145\/1379759.1379763"},{"key":"9710_CR14","doi-asserted-by":"crossref","unstructured":"Tait, W. W., A counterexample to a conjecture of Scott and Suppes. J. Symb. Logic 24:15\u201316, 1959.","DOI":"10.2307\/2964569"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9710-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9710-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9710-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T22:30:53Z","timestamp":1568845853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9710-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,24]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9710"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9710-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,2,24]]}}}