{"entities":{"Q584246":{"pageid":586013,"ns":120,"title":"Item:Q584246","lastrevid":62949045,"modified":"2026-04-11T09:11:21Z","type":"item","id":"Q584246","labels":{"en":{"language":"en","value":"Inductive rings and fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134019"}},"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":"Q584246$A78FE8BA-C74A-4821-9234-E4D2C15F9A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59ccbbce42d9fe7d5fb262a105b0a06a4b78e09a","datavalue":{"value":{"text":"Inductive rings and fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584246$B234F18E-678D-4D42-BA6A-9BDFC27C75FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc0faa68b5cfe97df2b44f4baa208636fff4150d","datavalue":{"value":"0693.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584246$731E4630-0EE1-46B8-A79D-8FE39156770B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acb7a3b571b0736886b3e0f11bad5b2eda1b8c9b","datavalue":{"value":"10.1016/0168-0072(89)90049-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584246$8624342A-9274-4DF6-8047-D4134FC08F71","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":"Q584246$9D38EA7A-BE80-4410-9423-F31D62E34F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q584246$495BFBAF-8CE9-4028-86B0-F7BE9814471C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e655e809389c7b5a981a3867ae13dddd7c0ba003","datavalue":{"value":"A ring with unity is said to be inductive iff it satisfies the induction principle, i.e. for every first-order formula F(x) of \\(\\{0,1,+,\\cdot \\},\\) \\([F(0)\\wedge (\\forall x F(x)\\to F(x+1))]\\to \\forall x F(x).\\) (Notice that \\({\\mathbb{Z}}\\) is not inductive, because \\({\\mathbb{N}}\\) is definable as \\(\\{x^ 2+y^ 2+z^ 2+t^ 2;\\quad x,y,z,t\\in {\\mathbb{Z}}\\}!)\\) Quotients of \\({\\mathbb{Z}}\\) and algebraically closed fields of characteristic 0 are inductive. The author conjectures that the class of inductive rings is the class generated by these two kinds of structures. He also lists certain noninductive rings.    One could regret that the treatment is not more systematic. For example, no number field is inductive, because of the definability of \\({\\mathbb{Q}}\\). Also the two remarks (in the introduction and in 3-2) about the inductivity of algebraically closed fields of characteristic 0 and fields with quantifier elimination are essentially the same, as we know that q.e. fields of characteristic 0 are exactly the algebraically closed fields. But above all, Theorem 1-5, as stated, seems to be incorrect: some power series rings are inductive, for example \\({\\mathbb{C}}[[X]]\\). Note that this ring, as well as \\({\\mathbb{Z}}_ p\\) also is a counter-example to the conjecture mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584246$A25E764E-2555-4C09-89D5-EEA5067748EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584246$9B426AD4-9F8D-4A10-9CC1-6AFD0FEBE906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ca5fe15dc9079986fe998db14de19e55a4bec6","datavalue":{"value":"4134019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584246$0F07E407-8D06-4CE0-A4E9-254504441944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q584246$3A686239-8AAD-4164-A9D2-D0825CC8CD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe3d1351eeae104f32f26383f5ac1bc4e93ff09","datavalue":{"value":"inductive rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q584246$3BDCC1BF-75EE-4057-AE66-5FE72D5FBF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q584246$B6369C0E-8B1A-4056-9DF9-002E64842F92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6d065ef36dbc199cf7427883ed5e0ec7c5c4e1","datavalue":{"value":{"entity-type":"item","numeric-id":1629543,"id":"Q1629543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584246$EC647D9C-4183-412E-8170-B1C09DA67D16","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":"Q584246$8B563391-58BC-48DB-B8CD-FD045871C345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9e23b21cadbd96ce9f85a1cdde7c37bd86efbe2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90049-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q584246$4F716583-B557-4D47-BBE0-6C7D0DCCAFA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78b798f8f066b1d3901adb0e1841b855ec8b0013","datavalue":{"value":"W2009864601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584246$AF7B8D93-55E6-4563-B2BA-D28E86C43883","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b6c75b6bd04def16b905517c243b4e851d7644","datavalue":{"value":{"entity-type":"item","numeric-id":3663405,"id":"Q3663405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584246$DC6318B1-836E-457E-ACB9-E672E96FEB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cbd0bf587a74767ac8d7362d74b7b90a4a210e","datavalue":{"value":{"entity-type":"item","numeric-id":3325842,"id":"Q3325842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584246$28D5AB6F-64DA-4E6D-A481-879F0659ED3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bbbf3645e1ac8652f5dcbecd05f44c42e1751c","datavalue":{"value":{"entity-type":"item","numeric-id":3676253,"id":"Q3676253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584246$A920546C-C331-463E-8D9F-FEE0E716FEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babbbbd56e905fc9d951068fa8ea4276431ba364","datavalue":{"value":{"entity-type":"item","numeric-id":3483375,"id":"Q3483375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed9b3cb604f9ae1638130331f0d8ce93a1ed7a5","datavalue":{"value":{"amount":"+0.8591989874839783","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":"Q584246$8B8A2E82-36AE-454B-AE03-2590D2B2D442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2cf6f61678133e9ae37c2e83cd6b2283950294","datavalue":{"value":{"entity-type":"item","numeric-id":3638478,"id":"Q3638478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627650b2355d751e97d2b5661b934c8c90e5f38a","datavalue":{"value":{"amount":"+0.7552438974380493","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":"Q584246$75A00914-26F2-4519-BD9A-E454C04AEC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a5d5aca92665dbbacde1b7fb678e240eed2bac","datavalue":{"value":{"entity-type":"item","numeric-id":3773857,"id":"Q3773857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9321becd1a3d3e50e10649c7c621c121d6f5e18f","datavalue":{"value":{"amount":"+0.6999816298484802","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":"Q584246$0B36CC91-42A6-4754-BF04-29CCC51852DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8669daef29dcb407b5ddc8f34665dd3aedd1dda9","datavalue":{"value":{"entity-type":"item","numeric-id":1674880,"id":"Q1674880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd253f1baee7248a94aceff38a6bf23c77a70b8","datavalue":{"value":{"amount":"+0.6921366453170776","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":"Q584246$ED2A96E4-BD55-428B-846E-127B3952D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c93dddad2288db6433f7288c9e3e6bfa9ae820","datavalue":{"value":{"entity-type":"item","numeric-id":271903,"id":"Q271903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24127f5f9e0539e157105b1344eebd55a16ba2e0","datavalue":{"value":{"amount":"+0.6903083324432373","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":"Q584246$8890E561-65F1-48FF-8172-248213F32307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive rings and fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_rings_and_fields"}}}}}