{"entities":{"Q866563":{"pageid":868411,"ns":120,"title":"Item:Q866563","lastrevid":64947198,"modified":"2026-04-11T23:17:48Z","type":"item","id":"Q866563","labels":{"en":{"language":"en","value":"A valuation ring analogue of von Neumann regularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126405"}},"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":"Q866563$069006FE-AF32-40B5-B270-BA66B21C0029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ed034450c957e09088d9d12a4c95a89a49e470","datavalue":{"value":{"text":"A valuation ring analogue of von Neumann regularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866563$09DE5D09-44B0-41DA-907C-978A82D4BBAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e6c8532f8549779c224469ff656f4f00e3cb4b4","datavalue":{"value":"1123.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$B4C65F85-56A3-482C-A8B3-6C9E48B1EE76","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":"Q866563$D3A4BA0A-255E-47BA-B6B6-6902AE3064BD","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":"Q866563$2ED1DD69-FFEA-45CF-B2AB-50FDD174DFDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866563$96BE25AC-493E-4234-8474-78F7C4355D0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f5f9cc6536d755a9eb3237f364404c7c0b44e29","datavalue":{"value":"The author unifies results on certain (Rumely) domains, arising from the work of \\textit{A.~Macintyre} and \\textit{L.~van den Dries} [``The logic of Rumely's local-global principle'', J.~Reine Angew.~Math. 407, 33--56 (1990; Zbl 0703.13021)], and \\textit{A.~Prestel} and \\textit{J.~Schmid} [``Existentially closed domains with radical relations'', J.~Reine Angew.~Math. 407, 178--201 (1990; Zbl 0691.12013)], on the theory of the ring of absolute algebraic integers, with earlier results of \\textit{A.~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)] on the theory of commutative von Neumann regular rings, especially as approached \\textit{via} sheaves of localisations over the maximal ideal spectrum [see also \\textit{G.~Cherlin}, Model theoretic algebra. Selected topics. Lecture Notes in Mathematics 521. Berlin-Heidelberg-New York: Springer-Verlag (1976; Zbl 0332.02056)]. Various relevant classes of rings are shown to be axiomatisable and to be model-complete, with the proofs making heavy use of the representation of \\(R\\) and its localisations as rings of sections over the maximal ideal spectrum.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$8B87FAF8-8E6C-4629-B1FD-803BA9C7CD8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$37DB7A27-CEC6-44A0-8718-147A3E7F6170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$CB2471F0-66DB-4072-B095-7C5AF91FCCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$9A87A1D9-5D89-413E-ABC1-1E3BEE4F49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c88a90ec2c18e1907fc87c29dd979b1151e9199b","datavalue":{"value":"16E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$B52017D1-C8BA-4D1A-BE57-919D91907A50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a5f29dc1e6d00d134af979b0e500767a5fd982","datavalue":{"value":"5126405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$35E5AEC3-6DC7-44BF-88EF-959DFD8CBCC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d54e2bb8b81709543bd16c4dd21243676bd9e51","datavalue":{"value":"regular ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$ADEBE0EA-473F-4299-AA2C-A0B6D2839C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225c7ae88f13ab23d7a2f093bd2dc3089bf66ab0","datavalue":{"value":"Rumely domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$49FEBA74-5E38-4B0D-8452-A2F4325D323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6272820a999db2a285d7fcb282b0e607450281b8","datavalue":{"value":"p.p. ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$CA651DAE-A112-4136-94DC-69815E6F8CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$75B0DEF4-4021-4C9F-B65E-E42E76C870B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$4476EEC8-5596-45F6-9332-16D651E1B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$975C729D-4111-43C1-9CC1-80EBE9B418E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c86c2b5ac1bc83ee55615fdce96a707a66aa45f","datavalue":{"value":"model-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q866563$074D5C2F-6C5A-489A-9A68-960C1DAD3264","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":"Q866563$E3C1B4A0-629D-4911-B7A3-95786DDFA1FC","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":"Q866563$FDD274DE-7D61-46B5-888C-51153F8C85B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a6938bec5ec1be9cbb1e1810faa928cb4d671e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q866563$9A5D6551-8DED-4062-B9D4-1BBE6EF7D8A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c9ff3ecde7b423dde61c8e70cd4488f67680a9d","datavalue":{"value":"W1970178576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$096F525B-ECF8-4324-921C-63B8B8057CE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866563$310D591A-8F4F-4524-B5ED-3E341574B748","rank":"normal"},{"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":"Q866563$38B80AE7-779B-4FB3-BDAF-1C3AC87EA4EB","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":"Q866563$872BC083-7364-4B06-B94D-6873FC002E06","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":"Q866563$73111521-C90F-44DD-8AF3-5AFF855A1802","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":"Q866563$47B453CD-ABBA-4BC1-A923-4B78B93EC297","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":"Q866563$1D253DCB-0273-4760-9688-662C81574AD3","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":"Q866563$430F2188-A69E-43AC-ACE1-84CF95D220BD","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":"Q866563$09200507-7A38-46BC-BECC-861890729BB6","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":"Q866563$8046ECA6-DC9D-42B5-A794-8CCF588F5DDC","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":"Q866563$E16AD2E9-05AC-4B16-8899-E76137DAD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c432f6a634b0c656521674211f34d8913d20bee","datavalue":{"value":{"entity-type":"item","numeric-id":2457335,"id":"Q2457335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866563$11AD9E7C-09F0-4ADE-B339-D3DC16086FCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc7d18b4f42d94a065b8fd1cf317bcf1f8b4fa9b","datavalue":{"value":"10.1016/J.APAL.2006.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866563$BA89814A-AB01-4D4B-A623-309E4D16E14C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773af9d7c265489bf211a03711a3a64a1d2687c6","datavalue":{"value":{"entity-type":"item","numeric-id":2488273,"id":"Q2488273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aad6b0903e11d1e9c9c07ef5bb78c971043b921","datavalue":{"value":{"amount":"+0.7890046834945679","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":"Q866563$A63678C3-5E78-40F1-9AD7-9BC8D265788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c0603873d01ad597953716d2580270583f1151","datavalue":{"value":{"entity-type":"item","numeric-id":3714168,"id":"Q3714168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaee99f2a167e9098153f3dc97a90a22bfbac1c","datavalue":{"value":{"amount":"+0.7637203335762024","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":"Q866563$AC44722A-60EA-45D8-9E1D-7BAF4514AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830ad954c8c65913043f1f1dd60b45b3806d4b33","datavalue":{"value":{"entity-type":"item","numeric-id":4936634,"id":"Q4936634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d5b13893d00b43145c604cc4745b3f6a4068e0","datavalue":{"value":{"amount":"+0.7420573830604553","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":"Q866563$6E1A0C95-C0F6-4E9F-95E8-87B3E1B5D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550ac5ae3b17354266546d4b5fb400370f43dff4","datavalue":{"value":{"entity-type":"item","numeric-id":2391092,"id":"Q2391092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75364385ed87ac2eb7a79819e137a879ce72c3a","datavalue":{"value":{"amount":"+0.7420573234558105","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":"Q866563$E0381E02-D86F-4B1B-B7BE-4547C226FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50de002dddebb9d7722f3f9f9c136eb58b14c952","datavalue":{"value":{"entity-type":"item","numeric-id":4706160,"id":"Q4706160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9d0f5aabee1180ed468a49e9ef06391c08071a","datavalue":{"value":{"amount":"+0.740472137928009","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":"Q866563$BAFA0EB5-501F-44F9-B144-396BCB32EAF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A valuation ring analogue of von Neumann regularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_valuation_ring_analogue_of_von_Neumann_regularity"}}}}}