{"entities":{"Q793009":{"pageid":794857,"ns":120,"title":"Item:Q793009","lastrevid":48703015,"modified":"2026-01-05T16:12:31Z","type":"item","id":"Q793009","labels":{"en":{"language":"en","value":"Real closed rings. II. Model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855078"}},"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":"Q793009$865CB9E6-3B8C-4768-82CA-2F0DCBC577D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"898454e018de2b47201cb87ecc527cb03c7359b8","datavalue":{"value":{"text":"Real closed rings. II. Model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793009$D4EF8031-4E27-4D59-83F4-DC1E05B81A49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bd5da48df09c39f4ac71b11b3ed97bcfd1c257a","datavalue":{"value":"0538.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$2C410827-8AE9-41B1-8428-C034E987D237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610a8cb5077fd63a66cb708075e9f5ddd042ece4","datavalue":{"value":"10.1016/0168-0072(83)90019-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$144DFD1D-9BD8-46F6-BD51-5CCA4B06F257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"339981a9cc0aa9975665bce6ddf14a5b30859b34","datavalue":{"value":{"entity-type":"item","numeric-id":793008,"id":"Q793008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$8A45163C-A143-4AEA-BF4F-CA84807E538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2543a8eaf8fe550d37175fe8c637171bfcfa8be","datavalue":{"value":{"entity-type":"item","numeric-id":1850500,"id":"Q1850500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$A39BBD07-4384-44EA-8CB5-BCC00DF21D57","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":"Q793009$755ED714-24C8-450E-9740-BE02A299B304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793009$722D138F-DADD-471C-8B4D-7D00643B719A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af3cd0f80cdde3975157089e8879a68c21831c2d","datavalue":{"value":"This paper concerns the model theory of real closed rings, which are the convex subrings of real closed fields. Much follows directly from the Ax- Kochen/Ershov theorem. An explicit quantifier elimination procedure is also given. Such rings occur in nature as residue rings modulo certain prime ideals of rings of continuous functions. This was the subject of Part I, which is still to appear. Dickmann recently showed that such rings arise also as residue rings of continuous semialgebraic functions on curves. J. Moloney has found many other decidable theories of rings occurring in the context of Part I.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$07FD40D6-CDD3-48DF-9DD9-BA4F529F1482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$0455A015-3FE8-4BF4-9DD8-4580BD4BC8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$D31B4FA2-9010-49B0-9801-6ADDFCDDA4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$D2CA6B1A-672D-429A-AA5F-FDAE6BC0E28A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84a043e4c4b38b60a106989c792199bf0395ed50","datavalue":{"value":"3855078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$DB875A7A-3399-4919-B450-3463B4CDDE48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f17f2f9168cc2e7320cdc931e76559ee3e1970","datavalue":{"value":"model theory of real closed rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$F0F9FE50-EA19-4456-BD73-5FAC7C9C18BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279ce52be8b2f5ffc7739dc9927d27ed2926fc14","datavalue":{"value":"convex subrings of real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$D707FD19-612D-456B-B45C-942D23332B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab713b354844b4ed47899d7e89696d812ad7d0f5","datavalue":{"value":"residue rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$C3EB48FB-8DAD-4F4D-9ADF-503AA36B7155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$EC8F25AB-C5BB-4A9C-B354-4C81F1BDAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad95462e4cdb96705ddfcd7ded45ed93c135ffd7","datavalue":{"value":"rings of continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q793009$4010B518-AEE9-4EC6-A34D-012EC2D3007B","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":"Q793009$056BFE5A-03AC-4F4F-B9F6-DACDD0370F16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e74dba18801e751499f70f8c927f0876bdba57","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90019-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q793009$DF0AA9C8-D5D1-487E-8A24-DB9DEDE6200B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba131e55fd7092065f953d90761ace364cdc4d99","datavalue":{"value":"W1985825462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793009$69F27218-92FE-4C3D-AB92-1FDAB1000DBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9c86efe0474de343ff25696e7dc02f7a879d3","datavalue":{"value":{"entity-type":"item","numeric-id":4105665,"id":"Q4105665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$4F09BD8C-D829-49F8-BFD2-EDEAA2633F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3121747fd33acdfca476a7a1d4dfbe35d9eb34","datavalue":{"value":{"entity-type":"item","numeric-id":3943060,"id":"Q3943060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$53D6950B-3EAC-4124-B0CF-2F9A110062B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c915e7efbceec33b720e387dd5fac701334f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3898595,"id":"Q3898595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$A1BE85B4-801B-4E29-8C36-F9EE03B4766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76176b56c368dfcc3d3cf1b9930cd23866dae8c","datavalue":{"value":{"entity-type":"item","numeric-id":4135501,"id":"Q4135501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$88066A19-794C-4CE6-9739-541017B6A55A","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":"Q793009$CD9B8B24-4694-453A-AE02-AAC706049AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$3606B00A-6EE0-4EDA-A99B-B16B9203A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea23f8d8ffb6d6e9b55b988fd5ef582e54d407c","datavalue":{"value":{"entity-type":"item","numeric-id":4116442,"id":"Q4116442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793009$682A64F0-A483-4CE9-9C2D-84DF77807CE0","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":"1b88e44c6e08f8f18bc3fbe85c347377748ce61c","datavalue":{"value":{"amount":"+0.8249590396881104","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":"Q793009$A3A7D919-1646-4A24-903E-CFCDC2933FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4e32e7c451aaba583ea252a5226c02a2efc034","datavalue":{"value":{"entity-type":"item","numeric-id":5956886,"id":"Q5956886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b88e44c6e08f8f18bc3fbe85c347377748ce61c","datavalue":{"value":{"amount":"+0.8249590396881104","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":"Q793009$2831EECC-B7ED-4347-81CF-332F43A5C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb10f0e7cf2f122b162da7b679764ff65a8ecbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4724752,"id":"Q4724752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ea8845e4f938e733465ce4a88fac7905ea31cd","datavalue":{"value":{"amount":"+0.7891839146614075","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":"Q793009$67921AC3-57BD-4F1B-A46D-52659F23B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ddd3ef25c8204dccf48b50575d7dbd49d1baf9","datavalue":{"value":{"entity-type":"item","numeric-id":4336226,"id":"Q4336226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae28127bfae4a511bad4520c9a84da2e1c47622","datavalue":{"value":{"amount":"+0.7831445336341858","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":"Q793009$034ADBA6-D203-4337-A298-6C2CC0280E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3f1b2321d3b2ffbfa73acc365f8cf70e4a84fd","datavalue":{"value":{"entity-type":"item","numeric-id":2386062,"id":"Q2386062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae28127bfae4a511bad4520c9a84da2e1c47622","datavalue":{"value":{"amount":"+0.7831445336341858","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":"Q793009$A0E80D89-3F1F-4B48-868F-0217A4859B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:793009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:793009"}}}}}