{"entities":{"Q330194":{"pageid":331961,"ns":120,"title":"Item:Q330194","lastrevid":56809998,"modified":"2026-03-23T16:15:31Z","type":"item","id":"Q330194","labels":{"en":{"language":"en","value":"Structures associated with real closed fields and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6643012"}},"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":"Q330194$206DC63B-4E00-4A85-819C-BB116D3D1C95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aec0f803f0948b62643ec65eed9279a5e20512e","datavalue":{"value":{"text":"Structures associated with real closed fields and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q330194$EF9757CE-9EC1-467A-B0EE-E990245C9718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e283891ce8c04193f0b37dfcb23345137ff8b34","datavalue":{"value":"1388.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$67F3A1BD-437B-4376-BFB9-6085E6C14652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q330194$6F767BAC-A6E2-41BF-867F-04C9F8C224CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q330194$19E6769E-DF46-4819-8B57-6FA55331C081","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be451ad60375c8b13600c3f9cbb94e9f414602a4","datavalue":{"value":{"time":"+2016-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q330194$5BC29296-0C0F-4323-A54C-A7D1E3881259","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d2b43523fd8683ef0e2c873a832ab13ec13114d","datavalue":{"value":"https://arxiv.org/abs/1402.6130","type":"string"},"datatype":"url"},"type":"statement","id":"Q330194$EA7D2B11-10B3-40F3-8C3F-D7513D5CEEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e7eb97392cb3bf36c56e9e805718f374863adba","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1473186514","type":"string"},"datatype":"url"},"type":"statement","id":"Q330194$1191314C-2F60-4F7D-BE6A-B322B6F51027","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q330194$DC73FF12-5A4A-48C9-85EB-8874BB7B64F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$F1BAC39A-0E8A-437B-82D6-2491608808D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$87E966FB-F747-431C-8CA4-54992F06C2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$7AEDF614-24C8-4F9E-8159-C82EAADB718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$12024635-ED14-4D59-9A70-3BD5BC1D1692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$F9F1B020-50A4-4C75-8693-C1FF35B70856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$69A41575-8661-4E0C-ABF8-115356AF61F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$AB25859C-0AC7-45B5-AA92-1AB9FD3FEBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$6067C601-0FCE-432B-87F0-8A6307633163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e24cfeed76e092cffccbc10cc1d3c882ee1dfd","datavalue":{"value":"6643012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q330194$C068FD55-1FFB-4034-A0F6-009BE53B52A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$56736787-E98E-4D73-8E3D-7D5EA696C10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$C542E470-24F5-49FA-BE75-98D7957842C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38c9fb955de3e63e527e0f439d5d4f29caf2048","datavalue":{"value":"integer part","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$D1044F13-7850-4BDA-91ED-069F8BFFD855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6885c73ae59f7bf0e65b0886bc4ebed4e66a4e2","datavalue":{"value":"residue field section","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$16C77101-D8B0-4974-835C-831C0DCB4C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ceeea69d364655f7cc6e537169e8580f1340758","datavalue":{"value":"value group section","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$EFD259B0-5F29-43FD-9115-A0BF4A1FC970","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":"Q330194$0175A0BD-8BD8-4FEF-82DB-7361A2DA14E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d9a1ec4ae35f61193a506ab2b31da2190879be","datavalue":{"value":{"entity-type":"item","numeric-id":647341,"id":"Q647341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcbba241e331ca8791451c214d10814311471d9","datavalue":{"value":{"amount":"+0.7921052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$161344D2-5F39-4316-919B-2CC5FA257BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbe92ed2580ac18099d58d4527c55bef6ded7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5190186,"id":"Q5190186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f5d31c3e4a027360ef8c559a0b4cc9cd7e4a4a","datavalue":{"value":{"amount":"+0.78276557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$801FD71F-D152-41A9-9589-06D18DD71025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2debb9f2980f89a496da03ce8c8ffd876041c4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5327135,"id":"Q5327135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae81ad2b760dbfb1606ea8327b15045a38fb1af1","datavalue":{"value":{"amount":"+0.74883646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$408EE411-9097-4F51-BE7B-C405E1200907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a9173fe1ca0ee25d0c054b8482877c828e4116","datavalue":{"value":{"entity-type":"item","numeric-id":5501767,"id":"Q5501767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada158f79fdd817fa93c63037bf0e448c623b81c","datavalue":{"value":{"amount":"+0.70768094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$50D4FD27-8F7A-4B6D-84AE-8F5DF119D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c75c621e60936bbdf667ec066620af23728052","datavalue":{"value":{"entity-type":"item","numeric-id":1802184,"id":"Q1802184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7f0e7ba4c33d09ab28d7c54651d63bace6f00e","datavalue":{"value":{"amount":"+0.7023124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$E42178C1-B7B4-4711-9B82-C29F7F1054DF","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":"1f9e0654478b3799a61c0a2bc54ec857e99fadeb","datavalue":{"value":{"amount":"+0.70097715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$4C2DC020-868F-46FB-8916-B96F504FA909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1314453ee25c647334b00761a953b2065fe0bde7","datavalue":{"value":{"entity-type":"item","numeric-id":5258477,"id":"Q5258477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4626392d82a59ec125eedacc9670a6d3b41b6329","datavalue":{"value":{"amount":"+0.68834394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$538CA790-A367-429C-81DC-63B39D96520D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60873e606840c2d5a86dfc420761e3df8edf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4292603,"id":"Q4292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e76ae790949bf2279d1830cb63f752ab089916","datavalue":{"value":{"amount":"+0.6843225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$ED5EFF72-9346-45CD-A5B7-112B03B0FFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f6054700d3640cc5720757491a002d81e42ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5393629,"id":"Q5393629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8974b7787dbba308f8bdd36e3d155f14be5aa7f8","datavalue":{"value":{"amount":"+0.6830872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$88B599B8-0F03-4BC9-B81F-14CDB341C074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a686d93acfdca27447dc351e51d81c9b3dea72","datavalue":{"value":{"entity-type":"item","numeric-id":3991888,"id":"Q3991888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5e29a94edddd14ae2fd9e147db1aafa0f14c99","datavalue":{"value":{"amount":"+0.6773304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q330194$9905C728-1832-460C-8B1F-E3A0E131F011","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da3fcda1ef0da4926be0ccbfff9bd69bf0c86469","datavalue":{"value":"Let \\(K\\) be a real closed field (RCF). A discretely ordered subring \\(I\\) of \\(K\\) is an integer part of \\(K\\) if and only if 1 is the minimal positive element of \\(I\\) and for every \\(x\\in K\\) there is an \\(i\\in I\\) with \\(i\\leq x<i+1\\). \\textit{M. H. Mourgues} and \\textit{J. P. Ressayre} [J. Symb. Log. 58, No. 2, 641--647 (1993; Zbl 0786.12005)] used a Zorn's lemma argument to show that every RCF has an integer part. They also used the same non-constructive methods to produce other structures associated with RCFs: namely, value group sections and residue field sections.NEWLINENEWLINEThe author of this article shows that the three structures mentioned above all require non-constructive methods. In particular, he constructs transitive models of ZF containing an RCF \\(K\\), but no integer part. He also constructs models containing RCFs without value group sections and residue field sections.NEWLINENEWLINEWith regard to integer parts, the author gives extra conditions on RCFs that guarantee the existence of integer parts in ZF. The author strengthens his results and obtains others by proving the following theorem: Let \\(T\\) be a countable, consistent o-minimal theory. Then there is a transitive model \\(N\\) of ZF such that \\(N\\) contains a model \\(\\hat{M}\\models T\\) with no unbounded discrete subset.","type":"string"},"datatype":"string"},"type":"statement","id":"Q330194$2E89754B-60B0-4F6C-8757-1A5BCB077516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:330194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:330194"}}}}}