{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T05:20:45Z","timestamp":1775452845274,"version":"3.50.1"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T00:00:00Z","timestamp":1765670400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T00:00:00Z","timestamp":1765670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00153-025-01002-2","type":"journal-article","created":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T11:02:44Z","timestamp":1765710164000},"page":"391-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logical complexity of reducts of elementary algebraic classes"],"prefix":"10.1007","volume":"65","author":[{"given":"Carles","family":"Card\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,14]]},"reference":[{"key":"1002_CR1","first-page":"1005","volume":"140","author":"SR Kogalovski\u00ef","year":"1961","unstructured":"Kogalovski\u00ef, S.R.: The multiplicative semigroup of rings. Dokl. Akad. Nauk SSSR 140, 1005\u20131007 (1961)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"1002_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1002\/malq.19670131304","volume":"13","author":"T Evans","year":"1967","unstructured":"Evans, T.: The spectrum of a variety. Z. math. logik. Grundlagen Math 13, 213\u2013218 (1967)","journal-title":"Z. math. logik. Grundlagen Math"},{"key":"1002_CR3","first-page":"161","volume":"29","author":"S Burris","year":"1977","unstructured":"Burris, S.: Remarks on reducts of varieties. Universal Algebra, Coll. Math. Soc. J. Bolyai 29, 161\u2013168 (1977)","journal-title":"Universal Algebra, Coll. Math. Soc. J. Bolyai"},{"key":"1002_CR4","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. The Millenium Edition, On line (2012). http:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html"},{"key":"1002_CR5","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland Press, New York (1973)"},{"key":"1002_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0747-7171(08)80089-2","volume":"13","author":"S Burris","year":"1992","unstructured":"Burris, S.: Discriminator varieties and symbolic computation. J. Symb. Comput. 13, 175\u2013207 (1992)","journal-title":"J. Symb. Comput."},{"key":"1002_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, New York (2002)"},{"key":"1002_CR8","unstructured":"Skolem, T.: Logico-combinatorial Investigations in the Satisfiability and Provability of Mathematical Propositions. From Frege to G\u00f6del: A source book in mathematical logic, 1879-1931, pp. 252\u2013263. Harvard University Press, Cambridge (1976)"},{"key":"1002_CR9","unstructured":"Chang, C.L., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Computer Science and Applied Mathematics, Academic Press, New York (1973)"},{"key":"1002_CR10","volume-title":"Algebraic Theory of Quasivarieties","author":"VA Gorbunov","year":"1998","unstructured":"Gorbunov, V.A.: Algebraic Theory of Quasivarieties. Springer, Berlin (1998)"},{"key":"1002_CR11","unstructured":"Areces, C., Becher, V., Ferro, S.: Characterization results for d-Horn formulas. Logic, Language and Computation, 49\u201366 (2000)"},{"key":"1002_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-018-0522-z","volume":"79","author":"G Badia","year":"2018","unstructured":"Badia, G., Marcos, J.: On classes of structures axiomatizable by universal d-horn sentences and universal positive disjunctions. Algebra univ. 79, 1\u201314 (2018)","journal-title":"Algebra univ."},{"issue":"1","key":"1002_CR13","first-page":"215","volume":"2","author":"G Higman","year":"1952","unstructured":"Higman, G., Neuman, B.: Groups as groupoids with one law. Publ. Math. Debrecen 2(1), 215\u2013221 (1952)","journal-title":"Publ. Math. Debrecen"},{"issue":"2","key":"1002_CR14","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1090\/S0002-9939-1969-0233742-4","volume":"20","author":"R Padmanabhan","year":"1969","unstructured":"Padmanabhan, R.: Two identities for lattices. Proc. Amer. Math. Soc. 20(2), 409\u2013412 (1969)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"1","key":"1002_CR15","doi-asserted-by":"publisher","first-page":"24","DOI":"10.7146\/math.scand.a-10984","volume":"27","author":"R McKenzie","year":"1970","unstructured":"McKenzie, R.: Equational bases for lattice theories. Math. Scand. 27(1), 24\u201338 (1970)","journal-title":"Math. Scand."},{"key":"1002_CR16","doi-asserted-by":"crossref","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. Automation of reasoning 2: Classical papers on computational logic 1967\u20131970, 466\u2013483 (1983)","DOI":"10.1007\/978-3-642-81955-1_28"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01002-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-01002-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01002-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T03:59:18Z","timestamp":1775447958000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-01002-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,14]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["1002"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-01002-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,14]]},"assertion":[{"value":"25 July 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 December 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"No conflict of interest exists.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}