{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T09:42:14Z","timestamp":1775209334928,"version":"3.50.1"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T00:00:00Z","timestamp":1721433600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T00:00:00Z","timestamp":1721433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100004561","name":"Ministry of Education and Science of the Republic of Kazakhstan","doi-asserted-by":"crossref","award":["AP00000000"],"award-info":[{"award-number":["AP00000000"]}],"id":[{"id":"10.13039\/501100004561","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004561","name":"Ministry of Education and Science of the Republic of Kazakhstan","doi-asserted-by":"crossref","award":["AP00000000"],"award-info":[{"award-number":["AP00000000"]}],"id":[{"id":"10.13039\/501100004561","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s00153-024-00937-2","type":"journal-article","created":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T12:01:48Z","timestamp":1721476908000},"page":"107-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On absorption\u2019s formula definable semigroups of complete theories"],"prefix":"10.1007","volume":"64","author":[{"given":"Mahsut","family":"Bekenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aida","family":"Kassatova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anvar","family":"Nurakunov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,20]]},"reference":[{"key":"937_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10469-021-09623-1","volume":"60","author":"MI Bekenov","year":"2021","unstructured":"Bekenov, M.I., Nurakunov, A.M.: A semigroup of theories and its lattice of idempotent elements. Algebra Logic 60, 1\u201314 (2021). https:\/\/doi.org\/10.1007\/s10469-021-09623-1","journal-title":"Algebra Logic"},{"key":"937_CR2","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proc. Cambridge Phil. Soc. 31, 433\u2013454 (1935)","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"937_CR3","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland Publishing Company, Amsterdam (1973)"},{"key":"937_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.: The first order properties of algebraic systems. Fundam. Math. 47, 57\u2013103 (1959)","journal-title":"Fundam. Math."},{"key":"937_CR5","doi-asserted-by":"publisher","first-page":"195","DOI":"10.4064\/fm-51-3-195-228","volume":"51","author":"T Frayne","year":"1962","unstructured":"Frayne, T., More, A.C., Scott, D.S.: Reduced direct products. Fundam. Math. 51, 195 (1962)","journal-title":"Fundam. Math."},{"key":"937_CR6","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/0003-4843(70)90002-1","volume":"1","author":"F Galvin","year":"1970","unstructured":"Galvin, F.: Horn sentences. Ann. Math. Logic 1, 389\u2013422 (1970)","journal-title":"Ann. Math. Logic"},{"key":"937_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory (Encyclopedia of Mathematics and its Applications)","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory (Encyclopedia of Mathematics and its Applications). Cambridge University Press, Cambridge (1993). https:\/\/doi.org\/10.1017\/CBO9780511551574"},{"key":"937_CR8","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/S1385-7258(61)50048-0","volume":"23","author":"HJ Keisler","year":"1961","unstructured":"Keisler, H.J.: Ultraproducts and elementary classes. Indag. Math. 23, 477\u2013495 (1961)","journal-title":"Indag. Math."},{"key":"937_CR9","doi-asserted-by":"publisher","DOI":"10.1515\/9783112611227","volume-title":"Algebraic Systems","author":"AI Mal\u2019cev","year":"1973","unstructured":"Mal\u2019cev, A.I.: Algebraic Systems. Springer-Verlag, New York (1973)"},{"key":"937_CR10","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF02771574","volume":"10","author":"S Shelah","year":"1971","unstructured":"Shelah, S.: Every two elementarily equivalent models have isomorphic ultrapowers. Israel J. Math. 10, 224\u2013233 (1971)","journal-title":"Israel J. Math."},{"key":"937_CR11","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1134\/S0037446620050171","volume":"61","author":"MV Schwidefsky","year":"2020","unstructured":"Schwidefsky, M.V.: On a Class of Subsemigroup Lattices. Sib. Math. J. 61, 941\u2013952 (2020). https:\/\/doi.org\/10.1134\/S0037446620050171","journal-title":"Sib. Math. J."},{"key":"937_CR12","unstructured":"Vaught, R.: On sentences holding in direct products of relational system. In: Proceedings of the International Congress of Mathematicians, p. 409. Amsterdam, Noordhoff, Groningen. (1954)"},{"key":"937_CR13","unstructured":"Weinstein, J.M.: First order properties preserved by direct product, Ph.D. thesis. University of Wisconsin, Madison, Wis (1965)"},{"key":"937_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.4064\/fm-93-2-81-95","volume":"93","author":"J Wierzejewski","year":"1976","unstructured":"Wierzejewski, J.: On stability and products. Fundam. Math. 93, 81\u201395 (1976)","journal-title":"Fundam. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00937-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00937-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00937-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T05:40:46Z","timestamp":1739338846000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00937-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,20]]},"references-count":14,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["937"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00937-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,20]]},"assertion":[{"value":"22 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 July 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}