{"entities":{"Q372515":{"pageid":374282,"ns":120,"title":"Item:Q372515","lastrevid":61334472,"modified":"2026-04-10T22:42:08Z","type":"item","id":"Q372515","labels":{"en":{"language":"en","value":"A geometric model of an arbitrary real closed field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213934"}},"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":"Q372515$BDA21B53-45ED-4848-BF3D-0CF837E3AE8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e26986d84bd59a7b1bda8c40182bf6c98660a2","datavalue":{"value":{"text":"A geometric model of an arbitrary real closed field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372515$721D8498-8579-44DD-9106-894F93659FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f1e1014764d32da7f421f177e2d477e541e5a42","datavalue":{"value":"1318.14053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$990692CF-C562-4053-830C-60EC10C9ED32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70083f29590f83e5d3b27d1a3e4ac69381f29db","datavalue":{"value":{"entity-type":"item","numeric-id":309641,"id":"Q309641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372515$9C43E7E2-F658-4A01-AE14-5C18D400008E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372515$5A5C975C-50B0-4B7C-88B9-128CBA70D10C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372515$AB5D3D23-35F6-4023-9D6F-D5481817D589","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36d95b0f1557b4ae28278b2a2bfd646a8bf84017","datavalue":{"value":"A real closed field \\(R\\) has a transcendence basis \\(B\\) over \\(\\mathbb{Q}\\). The total order of \\(R\\) restricts to a total order of the function field \\(\\mathbb{Q}(B)\\) (in general with infinitely many variables), and \\(R\\) is the real closure of the totally ordered field \\(\\mathbb{Q}(B)\\). The author starts with the totally ordered function field \\(\\mathbb{Q}(B)\\) and shows how the real closure can be constructed using rings of Nash functions. He considers semi-algebraic subsets of \\(\\mathbb{R}^B\\) and Nash functions on open semi-algebraic subsets, where both the sets and the functions are defined over \\(\\mathbb{Q}\\). Then he shows that \\(R\\) is the direct limit of a suitably chosen directed system of rings of Nash functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$09A85BA3-C102-49D1-96E8-E47349F16468","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"686b28cf776f97d1876e91eb21edc77a670894f5","datavalue":{"value":{"entity-type":"item","numeric-id":364687,"id":"Q364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372515$29763997-02DF-4A66-B054-308F4141F8CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$01D33E6B-F203-48D4-A7FB-46738C8EF35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$0BA22113-B947-4AE9-BED6-2F77E32C8C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83c21d954a97040234981aff3ae0371578eaf333","datavalue":{"value":"14P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$750A4D01-F1C6-4E43-BD13-D8DAF1F15774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$903AED2D-3AE4-41EF-AC60-9C421207181A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68110fe65d9a007ab71dfe04d323dd2745a1e16d","datavalue":{"value":"6213934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$3D0D5C75-6EBF-4658-A85B-E0857618DCC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$31A86EEE-5B9C-49E6-9203-3D2C0D7B237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd80f0b5db9117324cf58da05edc384a615a3e2","datavalue":{"value":"polynomial function","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$87419BB1-51A7-460C-8847-DAF5FD1969D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9881452d084078e8f2029a3d3128e2e7b9d7bc38","datavalue":{"value":"Nash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$0729208E-12C5-4A72-9FD7-7D1EF402077B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79ad6430269b54388f4ec89a588557d48e71cc","datavalue":{"value":"function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$3BBA2554-FD42-488E-AA74-88B1793486B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$1C3D2C6B-A846-457C-AE6E-7F127D6C824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2a87d6b935d249292ac8f4fe0875901459cab8","datavalue":{"value":"real closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q372515$7DD90C00-23E6-4A34-B534-863F7FE9FDE7","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":"Q372515$BCEB4D13-131F-47B1-804F-D9F75D32956A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce64770482c6fd91561a661db685a470d159a096","datavalue":{"value":"https://doi.org/10.2140/pjm.2013.264.455","type":"string"},"datatype":"url"},"type":"statement","id":"Q372515$9237B771-3917-437D-9721-26C5811B96EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80d5ed7b30b83398b11e01ee1979a22112635a80","datavalue":{"value":"W2082306434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$798E2815-C013-429E-8194-7508F8A4EDF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a209f3b8fb444284bc6722dab2f005d0d2c0add","datavalue":{"value":"10.2140/PJM.2013.264.455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372515$AF2FBC92-AFA4-47CD-8027-ADC8236376CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93117d3af3d88e5fa0827c9a13d5e51742c40d16","datavalue":{"value":{"entity-type":"item","numeric-id":5141765,"id":"Q5141765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a0bd1b95b3662b6484952ea901f38ae49aa04b","datavalue":{"value":{"amount":"+0.8626980781555176","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":"Q372515$24610EB7-AAD2-4111-B08E-AE9EB662297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81be8ba2cc356259731ae30469aa10681b8e4476","datavalue":{"value":{"entity-type":"item","numeric-id":4999662,"id":"Q4999662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91a8a7e2d582e16f319f7fab193fb94ee892903","datavalue":{"value":{"amount":"+0.7597458362579346","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":"Q372515$802AE267-3209-4BA3-BA0E-EC512D3A9C1D","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":"6df2d46e6a96087141cd99b2e4be2e36787a46d7","datavalue":{"value":{"amount":"+0.7486457228660583","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":"Q372515$4B112FFD-DE54-45E7-9779-5056CE3067BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc37188824cdce9a9af288b076ad65d7b984921c","datavalue":{"value":{"entity-type":"item","numeric-id":3995688,"id":"Q3995688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d03c76306422f94ad42490c5f6cbc947a3af0e","datavalue":{"value":{"amount":"+0.7319815754890442","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":"Q372515$B68DF006-343C-48F3-944B-2A69B059CB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77ef24d4e75a3d23342769911c0c517ee24a2ed","datavalue":{"value":{"entity-type":"item","numeric-id":6165191,"id":"Q6165191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dfad8f876f98a3178f0644c3ed734f581ae726","datavalue":{"value":{"amount":"+0.7280013561248779","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":"Q372515$012491E2-7091-4AE7-9D53-A1431D2BABEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A geometric model of an arbitrary real closed field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_geometric_model_of_an_arbitrary_real_closed_field"}}}}}