{"entities":{"Q1377646":{"pageid":1388386,"ns":120,"title":"Item:Q1377646","lastrevid":47003505,"modified":"2025-12-26T00:58:14Z","type":"item","id":"Q1377646","labels":{"en":{"language":"en","value":"Mittag-Leffler modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109927"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$22CA5FF9-FB29-4D4E-8D6C-ED189B832974","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010c6ba9e5508752d918c48e34c463ecbfe460be","datavalue":{"value":{"text":"Mittag-Leffler modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377646$0908DB6F-7EC1-4421-9D62-F2A583715B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83d8369ae5fefa8ab7c2e227547b99bbf0797df7","datavalue":{"value":"0916.16004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$3BD546B4-200D-4117-BF24-D861506A4161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dbc65f8a093d80a92c82a2f76cc66bc6dd5abeb","datavalue":{"value":"10.1016/S0168-0072(97)00024-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$1DAA4B6F-628E-4CB1-858D-43B8BB83C3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3a133ffd6fff126827f22cee235f74dec997594","datavalue":{"value":{"entity-type":"item","numeric-id":688805,"id":"Q688805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$BC99659D-5B7F-40A4-AA70-10D19584FAE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$C0E174BD-C13B-4974-A409-F01A4737A1F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14206c91e31d9d4fdd2eff8a61a16364eb391736","datavalue":{"value":{"time":"+1999-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377646$7992A6BB-E84B-4701-88C9-F5FD98E932FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0c6bc3e6d92e51c05959c7b885b33c98b67c7d1","datavalue":{"value":"This paper continues the long-running project of a varied group of reseachers in algebra and logic to recognize concepts of model theory as algebraic ideas in the theory of modules, and addresses some classical problems in module theory. Here the concept of Mittag-Leffler module (due to Raynaud and Gruson) is shown to have a natural and interesting model-theoretic interpretation. The natural way of making model-theoretic concepts algebraic for theories of modules is to restrict them to the class of positive primitive formulas. Thus ``saturated models'' are generalized to ``positively saturated modules'', which turn out to be the ubiquitous and important pure-injective modules. Here ``atomic models'' are generalized to ``positively atomic modules''. It is these that turn out to be precisely the Mittag-Leffler modules. With this model-theoretic interpretation in hand, a handful of applications follow, including: All reduced products of left Mittag-Leffler \\(R\\)-modules are Mittag-Leffler if and only if all left \\(R\\)-modules are Mittag-Leffler if and only if \\(R\\) is left pure-semisimple. Any direct product of left Mittag-Leffler \\(R\\)-modules is Mittag-Leffler if and only if for every \\(n\\) the lattice of positive primitive right \\(R\\)-module formulas in \\(n\\) free variables is complete, and these are equivalent to the symmetrical statements.   This paper shows a very interesting interplay between algebraic techniques and concepts from model theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$4B81D5B7-A10B-4168-9897-15FC5A253D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a645c4c40cf7bcf55be756f00848fdc03e3d081b","datavalue":{"value":"16D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$69479FAF-70A6-48C2-AD01-4C57B4953834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a7e67a2561ebefb856e913da9b63666419f7e30","datavalue":{"value":"16B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$F5B15EDC-9121-45AB-86D8-FDF25F037229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$85BC3085-0646-4881-BCB4-14F4F78F3DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$CFE6016A-4301-4B5A-BB01-FAF0C3486205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1dee8e7847b4ea1ec0c89cb2093a26d38c393e9c","datavalue":{"value":"16D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$E3A218FD-3875-4E0C-8147-93672BAB2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$B0D89860-C8F7-48F1-9E48-F812876B58A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0bf8034b763920952137c0f22dfba26b5a1648","datavalue":{"value":"1109927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377646$12B3791E-8A98-4240-ACF1-76ECDCF5C82C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6707940bc150ba0292190bf48f81f4e19292f48f","datavalue":{"value":"pure-projective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$637F425C-E05F-4A75-BBE9-E6D8BF21A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a299530112ef7e7864823f48b832e6a4cfe85162","datavalue":{"value":"pure-semisimple rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$0ADA39A5-0587-4B39-8914-01C817FB1BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd291c7cf82c656041070b303fb6d9723b016d03","datavalue":{"value":"saturated structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$4BF0329E-A9A5-4A8E-B91A-E8291E12AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898f201dddae244511ca69e6e81c150448df19a3","datavalue":{"value":"atomic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$514B4B35-5CC3-43F4-9A06-1947DF9AA7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"572fb1d48fb1db3c4e62ea026ef1c9fe0cca1856","datavalue":{"value":"elementary dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$6154D47A-6D35-466F-8D9E-4EB7A833D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cdfa89957bdd5b849bad1b3236d1c3a6451ad5","datavalue":{"value":"coherent rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$75950EBB-68E2-4D53-9534-C69D01C71F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44efc97503503029c5cc71e1360e017016821dfa","datavalue":{"value":"regular rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$A18D2439-926D-4D50-AEAE-60B48702096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6715a8dafc494e187fe25ac18870afca240f169","datavalue":{"value":"self-injective rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$3B0FC73B-E53A-44E8-A3E8-461B3114F34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a7a02ff62b02a723e6f0b954d90b93a0b51ca1","datavalue":{"value":"\\(\\Sigma\\)-pure-injective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$AE46178E-4435-430E-9FAC-FD4158D8E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd2d035b7d14d9bd7583e0d05875f5361cf1efd","datavalue":{"value":"Mittag-Leffler modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$10C701EE-648B-4437-AEC7-96826561C79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b24b205806d23886e1646628cbadbf3e1fe6dc","datavalue":{"value":"theories of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$BB08264A-6AA0-43CA-9916-FDA560E392F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28139bc5a3cf0df7cf4802e93dd050aa830bda7c","datavalue":{"value":"positive primitive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377646$F3AEF96C-7206-4057-8B3B-F2E9E7A2AA91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e6c9957e75d32d4774f98fc382c3029ff6bc2137","datavalue":{"value":{"entity-type":"item","numeric-id":591966,"id":"Q591966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$0D8CF9E0-5155-4158-A038-CBC3EE0A5575","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$75408499-E867-44F9-9328-3EDF45F985F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dc0d675c5dbaad459898e942d7dea22218a683","datavalue":{"value":{"entity-type":"item","numeric-id":4011046,"id":"Q4011046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$5A1E150A-75FD-4731-93E0-ED0EBECC6A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8071740ecd6b69545714d63bb9517e6c467d904f","datavalue":{"value":{"entity-type":"item","numeric-id":584361,"id":"Q584361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$731890E9-1630-4D46-B8E6-0F0198D10E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829f245e2a7da333c39d0a4e3d1747aa0bff363","datavalue":{"value":{"entity-type":"item","numeric-id":3344186,"id":"Q3344186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$C90320F6-E1F1-46FD-B5AE-6A599555D215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bfc09aebcbe487a8aeebcc6c6a91519c082e46","datavalue":{"value":{"entity-type":"item","numeric-id":1177656,"id":"Q1177656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$43A80481-B1D3-47EF-A771-B7E33ABE14F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23dfb07e76a88d30f0a1a00f63f8b9339efb00d0","datavalue":{"value":{"entity-type":"item","numeric-id":2552524,"id":"Q2552524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$2065805C-2AC2-4235-9810-D2DCB8C0D2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505c51fb53cbdadff6d7a3461f16ef29d22320ba","datavalue":{"value":{"entity-type":"item","numeric-id":4198895,"id":"Q4198895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$719D1FC0-07B4-4960-B7A4-E131FAD54F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dffe2ad36086ba8f05c14266033179c98e9cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4276556,"id":"Q4276556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$E57DD04C-E2E0-4BB8-A1A7-69B683E5C37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4b1cbfd3495596a05d24e2da4ddf39d6c0eec7","datavalue":{"value":{"entity-type":"item","numeric-id":4039792,"id":"Q4039792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$E475BDB6-543C-43E6-9CDA-E2F6E290C549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5216c5daa4b0670587b9d0dbe45d3b4d6cfe8","datavalue":{"value":{"entity-type":"item","numeric-id":688808,"id":"Q688808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$317F5A70-E0E0-4C0C-8492-B878E9C2E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111eee733f9de3bdc55f02a4704b9d51d471fdde","datavalue":{"value":{"entity-type":"item","numeric-id":4241647,"id":"Q4241647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$CEB4A7CF-0467-414D-9183-45A73D126681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b99672265e5e1d723030dc3157ffca1cb28b808","datavalue":{"value":{"entity-type":"item","numeric-id":2549353,"id":"Q2549353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$89A026C3-D7DC-4AF6-B6D9-F5A66E805932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9902f6403cf544b61b5cbbbaad3881337eb821","datavalue":{"value":{"entity-type":"item","numeric-id":4134127,"id":"Q4134127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$CC4BAC31-99D1-4F79-8D42-02C0EF1A2E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$40D68F08-F5F3-4716-9E13-251116B8B2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670cad83165af071473da144181b0f73f8c9dedf","datavalue":{"value":{"entity-type":"item","numeric-id":2531959,"id":"Q2531959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$81DF9893-6AAA-4889-9EED-5482CAF74166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1b9dc5841a20e1b478913c44cdf15cf54656d7","datavalue":{"value":{"entity-type":"item","numeric-id":4146864,"id":"Q4146864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$25387B60-5C23-45FF-83B0-15E1768A2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7092f4bb0f6c930f573c75a712da5f778daa783e","datavalue":{"value":{"entity-type":"item","numeric-id":1223471,"id":"Q1223471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377646$B07A405B-D7F6-4A5C-8F43-B44F789492E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c439d509c3f15f952f022b98fd6781b33cd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1177656,"id":"Q1177656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3c6e5936980ad5a4833562956ba3f289293d9e","datavalue":{"value":{"amount":"+0.8250849843025208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377646$8BE6CCDC-3295-4494-8770-9BF88E9DBC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c385f5c872d7ac070cf0509e450d049d7e57ab03","datavalue":{"value":{"entity-type":"item","numeric-id":3107340,"id":"Q3107340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07cf8a76aecfba79c9f3fc86be1398e61f75935","datavalue":{"value":{"amount":"+0.809237539768219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377646$557398E8-1240-476B-BB03-D40FC7E963FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d8bcdf78cc887ca2cf3a198ad85442a142fa33","datavalue":{"value":{"entity-type":"item","numeric-id":4953209,"id":"Q4953209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32090de877b4be7947957af3bca14c7bfaf126f5","datavalue":{"value":{"amount":"+0.8028808832168579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1377646$84C5300F-6F16-4D34-B66C-A8D104F6107A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1377646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1377646"}}}}}