{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T16:20:49Z","timestamp":1767198049216,"version":"build-2238731810"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9689,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Let\n                    <jats:bold>K<\/jats:bold>\n                    be a finite set of finite structures. We give a syntactic characterization of the property: every element of\n                    <jats:bold>K<\/jats:bold>\n                    is injective in\n                    <jats:bold>ISP<\/jats:bold>\n                    (\n                    <jats:bold>K<\/jats:bold>\n                    ). We use this result to establish that\n                    <jats:bold>\n                      <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200029765_inline1.png\"\/>\n                    <\/jats:bold>\n                    is injective in\n                    <jats:bold>ISP<\/jats:bold>\n                    (\n                    <jats:bold>\n                      <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200029765_inline1.png\"\/>\n                    <\/jats:bold>\n                    ) for every two-element algebra\n                    <jats:bold>\n                      <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200029765_inline1.png\"\/>\n                    <\/jats:bold>\n                    .\n                  <\/jats:p>","DOI":"10.2307\/2274364","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:22:39Z","timestamp":1146939759000},"page":"786-792","source":"Crossref","is-referenced-by-count":0,"title":["Injectives in finitely generated universal Horn classes"],"prefix":"10.1017","volume":"52","author":[{"given":"Michael H.","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Willard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200029765_bib003","volume-title":"Distributive lattices","author":"Balbes","year":"1974"},{"key":"S0022481200029765_bib008","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71100-5"},{"key":"S0022481200029765_bib006","volume-title":"Model theory","author":"Chang","year":"1973"},{"key":"S0022481200029765_bib010","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1976-006-0"},{"key":"S0022481200029765_bib007","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1951-0044470-3"},{"key":"S0022481200029765_bib005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0522263-8"},{"key":"S0022481200029765_bib001","first-page":"779","volume":"52","author":"Albert","year":"1987","journal-title":"A preservation theorem for ec-structures with applications"},{"key":"S0022481200029765_bib002","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485230"},{"key":"S0022481200029765_bib004","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1970-023-6"},{"key":"S0022481200029765_bib009","volume-title":"Two-valued iterative systems of mathematical logic","author":"Post","year":"1941"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200029765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T06:38:29Z","timestamp":1679467109000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200029765\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":10,"aliases":["10.1017\/s0022481200029765"],"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["S0022481200029765"],"URL":"https:\/\/doi.org\/10.2307\/2274364","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}