{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T02:45:44Z","timestamp":1763433944115,"version":"3.45.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"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":["Order"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11083-025-09707-y","type":"journal-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T11:07:52Z","timestamp":1757416072000},"page":"755-784","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Equational Theory of Finite Modular Lattices"],"prefix":"10.1007","volume":"42","author":[{"given":"Christian","family":"Herrmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,9]]},"reference":[{"key":"9707_CR1","unstructured":"Birkhoff, G.: Lattice Theory, AMS Colloq. Publ. 25, Providence (1979)"},{"key":"9707_CR2","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1007\/s00222-015-0578-8","volume":"202","author":"MR Bridson","year":"2015","unstructured":"Bridson, M.R., Wilton, H.: The triviality problem for profinite completions. Invent. Math. 202, 839\u2013874 (2015)","journal-title":"Invent. Math."},{"key":"9707_CR3","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF02485249","volume":"5","author":"A Day","year":"1975","unstructured":"Day, A.: Splitting algebras and a weak notion of projectivity. Algebra Universalis 5, 153\u2013162 (1975)","journal-title":"Algebra Universalis"},{"key":"9707_CR4","doi-asserted-by":"crossref","unstructured":"Day, A., Freese, R.: The role of gluing constructions in modular lattice theory: The Dilworth Theorems. 251\u2013260. Contemporary Mathematicians. Birtkh\u00e4user, Boston, (1990)","DOI":"10.1007\/978-1-4899-3558-8_24"},{"issue":"1","key":"9707_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF00143900","volume":"5","author":"A Day","year":"1988","unstructured":"Day, A., Herrmann, C.: Gluings of modular lattices. Order 5(1), 85\u2013101 (1988)","journal-title":"Order"},{"key":"9707_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1090\/S0002-9947-1979-0531987-8","volume":"251","author":"R Freese","year":"1979","unstructured":"Freese, R.: Projective geometries as projective modular lattices. Trans. Amer. Math. Soc. 251, 329\u2013342 (1979)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9707_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1090\/S0002-9947-1979-0542881-0","volume":"255","author":"R Freese","year":"1979","unstructured":"Freese, R.: The variety of modular lattices is not generated by its finite members. Trans. Amer. Math. Soc. 255, 277\u2013300 (1979)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9707_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1090\/S0002-9947-1980-0576864-X","volume":"261","author":"R Freese","year":"1980","unstructured":"Freese, R.: Free modular lattices. Trans. Amer. Math. Soc. 261, 81\u201391 (1980)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9707_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01246623","volume":"130","author":"C Herrmann","year":"1973","unstructured":"Herrmann, C.: $$S$$-verklebte Summen von Verb\u00e4nden. Math. Z. 130, 255\u2013274 (1973)","journal-title":"Math. Z."},{"key":"9707_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF02483938","volume":"14","author":"C Herrmann","year":"1982","unstructured":"Herrmann, C.: Rahmen und erzeugende Quadrupel in modularen Verb\u00e4nden. Algebra Universalis 14, 357\u2013387 (1982)","journal-title":"Algebra Universalis"},{"key":"9707_CR11","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF01229766","volume":"26","author":"C Herrmann","year":"1975","unstructured":"Herrmann, C., Huhn, A.P.: Zum Wortproblem f\u00fcr freie Untermodulverb\u00e4nde. Arch. Math. 26, 449\u2013453 (1975)","journal-title":"Arch. Math."},{"key":"9707_CR12","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/BF01455951","volume":"265","author":"C Herrmann","year":"1983","unstructured":"Herrmann, C.: On the word problem for modular lattices with four free generators. Math. Ann. 265, 513\u2013517 (1983)","journal-title":"Math. Ann."},{"key":"9707_CR13","doi-asserted-by":"publisher","first-page":"1573","DOI":"10.1142\/S0218196716500697","volume":"26","author":"C Herrmann","year":"2016","unstructured":"Herrmann, C., Tsukamoto, Y., Ziegler, M.: On the consistency problem for modular lattices and related structures. Internat. J. Algebra Comput. 26, 1573\u20131595 (2016)","journal-title":"Internat. J. Algebra Comput."},{"key":"9707_CR14","first-page":"297","volume":"33","author":"A Huhn","year":"1972","unstructured":"Huhn, A.: Schwach distributive Verb\u00e4nde I. Acta Sci. Math. 33, 297\u2013305 (1972)","journal-title":"Acta Sci. Math."},{"key":"9707_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0021-8693(73)90001-X","volume":"26","author":"G Hutchinson","year":"1973","unstructured":"Hutchinson, G.: Recursively unsolvable word problems of modular lattices and diagram chasing. J. Algebra 26, 385\u2013399 (1973)","journal-title":"J. Algebra"},{"key":"9707_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF02485400","volume":"8","author":"G Hutchinson","year":"1978","unstructured":"Hutchinson, G., Cz\u00e9dli, G.: A test for identities satisfied in lattices of submodules. Algebra Universalis 8, 269\u2013309 (1978)","journal-title":"Algebra Universalis"},{"key":"9707_CR17","first-page":"499","volume":"33","author":"OG Kharlampovich","year":"1983","unstructured":"Kharlampovich, O.G.: The universal theory of the class of finite nilpotent groups is undecidable. (Russian) Mat. Zametki 33, 499\u2013516 (1983)","journal-title":"(Russian) Mat. Zametki"},{"key":"9707_CR18","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1142\/S0218196795000227","volume":"5","author":"OG Kharlampovich","year":"1995","unstructured":"Kharlampovich, O.G., Sapir, M.V.: Algorithmic problems in varieties. Internat. J. Algebra Comput. 5, 379\u2013602 (1995)","journal-title":"Internat. J. Algebra Comput."},{"key":"9707_CR19","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s13373-017-0103-z","volume":"7","author":"OG Kharlampovich","year":"2017","unstructured":"Kharlampovich, O.G., Myasnikov, A., Sapir, M.: Algorithmically complex residually finite groups. Bull. Math. Sci. 7, 309\u2013352 (2017)","journal-title":"Bull. Math. Sci."},{"key":"9707_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11856-022-2345-z","volume":"252","author":"L K\u00fchne","year":"2022","unstructured":"K\u00fchne, L., Yashfe, G.: Representability of matroids by c-arrangements is undecidable. Israel J. Math. 252, 95\u2013147 (2022)","journal-title":"Israel J. Math."},{"key":"9707_CR21","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1090\/S0002-9947-1974-0364040-2","volume":"193","author":"L Lipshitz","year":"1974","unstructured":"Lipshitz, L.: The undecidability of the word problems for projective geometries and modular lattices. Trans. Amer. Math. Soc. 193, 171\u2013180 (1974)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9707_CR22","doi-asserted-by":"crossref","unstructured":"Slobodskoi, A.M.: Undecidability of the universal theory of finite groups. (Russian) Algebra i Logika 20, 207\u2013230, 251 (1981)","DOI":"10.1007\/BF01735740"},{"key":"9707_CR23","volume-title":"Continuous Geometry","author":"J von Neumann","year":"1960","unstructured":"von Neumann, J.: Continuous Geometry. Princeton Univ. Press, Princeton (1960)"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-025-09707-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11083-025-09707-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-025-09707-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T02:41:28Z","timestamp":1763433688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11083-025-09707-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9707"],"URL":"https:\/\/doi.org\/10.1007\/s11083-025-09707-y","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2025,9,9]]},"assertion":[{"value":"8 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 August 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Not applicable","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}