{"entities":{"Q2391092":{"pageid":2401835,"ns":120,"title":"Item:Q2391092","lastrevid":50725415,"modified":"2026-01-14T22:56:45Z","type":"item","id":"Q2391092","labels":{"en":{"language":"en","value":"Model companion and model completion of theories of rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586448"}},"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":"Q2391092$29F62867-0728-4E20-A899-EDFC69C0E220","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bc65e2f0703defcf464b60c4cbe264ca49abf2b","datavalue":{"value":{"text":"Model companion and model completion of theories of rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2391092$50201BE3-E98E-4C80-93BF-037634DF01CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c628a4558dbfa4832c9f679d8b990ff0c6789dc3","datavalue":{"value":"1178.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$C56001C0-9FF1-48A0-B020-E9B84815F0A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc1cdcd255eff78b2730e15f75c940173ccaf950","datavalue":{"value":{"entity-type":"item","numeric-id":329715,"id":"Q329715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$CC6E322D-4FBF-4FAB-B395-18CBD8B84D3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$D1BD0057-C35E-4649-8943-9B4FACDE4929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2391092$B911CEE2-F6D6-4598-A7B9-61428EE7ABCE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbf5f5f583f9d69b7b55a6afabe0bd739d8aa315","datavalue":{"value":"The usual language for rings is augmented by, for each natural number \\(k\\), a \\(k+1\\)-ary relation symbol \\(\\text{rad}_k\\), the intended interpretation of which is that \\(\\text{rad}_k(a, b_1, \\dots, b_k)\\) holds iff every maximal ideal which contains \\(b_1,\\dots, b_k\\) also contains \\(a\\). This allows a more refined view of the existence and description (as a certain theory of von Neumann regular rings), due to \\textit{A. B. Carson} [``The model-completion of the theory of commutative regular rings'', J. Algebra 27, 136--146 (1973; Zbl 0279.02037)] and \\textit{L. Lipshitz} and \\textit{D. Saracino} [``The model companion of the theory of commutative rings without nilpotent elements'', Proc. Am. Math. Soc. 38, 381--387 (1973; Zbl 0267.02040)], of the model companion, but not model-completion, of the theory of nilpotent-free rings. In particular it is shown that the aforementioned theory is the model completion of the theory of semisimple rings in this larger language. On the other hand, the theory of nilpotent-free rings in the augmented language does not have a model companion. Rather different results are obtained if just the single relation symbol \\(\\text{rad}_1\\) is added to the language of rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391092$7240D0C6-D9C0-4A21-88A4-F321820E440F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$4985656A-729E-416F-8EAE-985B5D2D10D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$7B8F3B76-6ACB-4607-A433-D889CB4F6853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc3b7982142748f321551edfa02092d3efb38a6e","datavalue":{"value":"5586448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$EEC8F084-5E8A-45A0-A773-7387CC9CD701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d54e2bb8b81709543bd16c4dd21243676bd9e51","datavalue":{"value":"regular ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391092$863A6E70-B3BE-4B93-8925-7B208CF27D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391092$107AF54A-0495-4A43-8A9D-CA4CD361F57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391092$22D85BE7-EEEF-45EB-8D6C-ADBFCBB860AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d97b53f005c7a0720daf149ed39bbd3004df69f","datavalue":{"value":{"entity-type":"item","numeric-id":1254307,"id":"Q1254307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$52474133-D3F2-4FB2-B28A-65C30E8B842D","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":"Q2391092$091881EF-7A25-43EF-AD49-F39F1651BD36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ab2b01e4fdb29f7a53ca200984404e203afc983","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0129-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2391092$EEE4AB65-A048-43DA-B577-FAC5ECD1DD8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23bbd118d63c43138d8a532dbcb725919ac3a7d0","datavalue":{"value":"W1976256456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$B5FA3DDB-1620-4E82-BB87-4A37018B0C5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed43b53a0d5942bda97e2191fe0133a1631053","datavalue":{"value":{"entity-type":"item","numeric-id":1394225,"id":"Q1394225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$5A21F284-FCFD-4BB3-A12D-DE3453C83290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9d8c64de613f86cc571b6bcb753d6c4939d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1227612,"id":"Q1227612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$BC334D5A-60DB-4AB6-8902-24A8FDCE13BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$6E05C4EA-705F-4DA2-BF7E-5D3D8DDD5C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add06c9c3cd3829e4155dcbc48e4a6b0caad9fde","datavalue":{"value":{"entity-type":"item","numeric-id":5685076,"id":"Q5685076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$F12AA213-BC81-4FE1-B749-7BD9CB67C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7f9ad5c2be87133f3c22ce0e2581c681b5fd00","datavalue":{"value":{"entity-type":"item","numeric-id":4078018,"id":"Q4078018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$CFC84B5A-2A05-43AA-876C-C7D26F54E8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d15125fefd60c38024a9f4815dfca44adfa2336","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$6FFE6825-72AF-46C2-8C4E-748ACA2DB2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8d8bea58f49ee72515d98b44a82adb4f5e338c","datavalue":{"value":{"entity-type":"item","numeric-id":3481833,"id":"Q3481833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$CB2E569D-46C0-4489-AFC4-46DC69243922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703ca62ff94d83a5967998840c0e88086a530788","datavalue":{"value":{"entity-type":"item","numeric-id":4724592,"id":"Q4724592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$9FF9D7B8-46D9-4182-87E3-028C13F852F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c125f1b3061155486eb0d940cf96a8c4677609","datavalue":{"value":{"entity-type":"item","numeric-id":3032354,"id":"Q3032354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$5E72DB7A-71F4-455A-9516-6D502B5E0E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d04c949d714c25be5b2468fdd1f9f16d2cae85a","datavalue":{"value":{"entity-type":"item","numeric-id":2488273,"id":"Q2488273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$6FD5D702-2712-4D8E-9B6C-35826430F36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318deb0c92a77cd7d8c0f4538d12bfcb2b3f8728","datavalue":{"value":{"entity-type":"item","numeric-id":866563,"id":"Q866563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$B53C0E1D-6A90-4E0F-8DE6-3A700BF61C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3da9bf3d848827bd1e188d61e6ccef6078d86af","datavalue":{"value":{"entity-type":"item","numeric-id":3808206,"id":"Q3808206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$7FA31683-ECDC-4A1F-8F64-A30847123BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a74185d4e754a112129e3de2db9fe123d56b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1222162,"id":"Q1222162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$911EBD4D-CABF-4735-93C0-3B041A8E7764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f810e13b8e76af7deeae0b9d8b3edbaeff1cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4163197,"id":"Q4163197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$51F346B6-34E2-49C8-A7EF-DF3E88E61D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e28d61bb85168bba489285bc199f4090201d19","datavalue":{"value":{"entity-type":"item","numeric-id":3669394,"id":"Q3669394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391092$19819C81-9D5A-495F-945D-BA5784F93381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01e900ae65bb59cd5f868abba020583ff1e6b44d","datavalue":{"value":"10.1007/S00153-009-0129-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391092$1B0E7678-D013-4FD2-A2FB-DAA6D4C74F3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3e0f4036b05db7355f376d058d3128d5044b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3153400,"id":"Q3153400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ada39f282a583b353f06e99ffbddf251fa3411","datavalue":{"value":{"amount":"+0.8076292872428894","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":"Q2391092$555E9EC5-94B1-43D7-9F06-0715FD4B29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd10af72cd92efb06254ef83c084122b893330d","datavalue":{"value":{"entity-type":"item","numeric-id":3980171,"id":"Q3980171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ada39f282a583b353f06e99ffbddf251fa3411","datavalue":{"value":{"amount":"+0.8076292872428894","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":"Q2391092$769095EB-83E8-4D23-B60A-E50CEB12276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a4f36509cba7ff274501c87422c30a2456fe9b","datavalue":{"value":{"entity-type":"item","numeric-id":3124366,"id":"Q3124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0df633980befc5da3ebb8a72fa590586ce4193","datavalue":{"value":{"amount":"+0.79146409034729","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":"Q2391092$AD718530-2FEC-4529-B411-6801D1AE1125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a23e16e0967bd8ef92cd569ad4e1a84bd44ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":3399176,"id":"Q3399176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc11faac78b30bea7cc7e381cdada3e35f65058","datavalue":{"value":{"amount":"+0.7906818985939026","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":"Q2391092$C5D02194-E0E1-4917-8FA5-C2EA647F003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9f105b1e16c286f1b6a747777100b11c5e5419","datavalue":{"value":{"entity-type":"item","numeric-id":3705431,"id":"Q3705431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ee219e11f0e34cc2bdd5d9654544a764a77a3f","datavalue":{"value":{"amount":"+0.7249183654785156","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":"Q2391092$D1202B8F-C4F4-47D3-A64C-250673359433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2391092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2391092"}}}}}