{"entities":{"Q836113":{"pageid":837961,"ns":120,"title":"Item:Q836113","lastrevid":64704081,"modified":"2026-04-11T21:40:10Z","type":"item","id":"Q836113","labels":{"en":{"language":"en","value":"The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600326"}},"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":"Q836113$CC65CFD6-C6D5-4703-B45D-A09F513B0D29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d9ec43bee9780ce20ff3690460975194393804","datavalue":{"value":{"text":"The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q836113$FE24F22E-2D69-4CAD-913B-45BF543D5EAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7126bd1d55df2c1e80b21e98310f42096c1c626","datavalue":{"value":"1192.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$46E80020-E31F-4F0C-B191-AF968D527296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb3215d00d5f9922fab748a17a4a46ccd22e4f6","datavalue":{"value":{"entity-type":"item","numeric-id":639652,"id":"Q639652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$852B8548-F739-4981-B0BB-B730491D2480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$E6D7CD05-9878-4133-8F70-B34568D36DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q836113$F90F66D3-CE6F-4ECE-97D7-D8298DB5A0B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07e07a237cddfc3fad6a5a28a0a3df7ced2e46c2","datavalue":{"value":"https://arxiv.org/abs/0706.0182","type":"string"},"datatype":"url"},"type":"statement","id":"Q836113$C443C193-D48E-404C-9E94-7266A26ED73B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22d68c2b93712b07aeacc45b78bc1034b1c05b54","datavalue":{"value":"The author studies a particular expansion of the real field, namely the one generated by the standard map on an o-minimal expansion \\({\\mathbf R}\\) of a real closed field. This expansion is denoted by \\(\\mathbb R_{\\text{ind}}\\) and the main result of the paper (Theorem 1.1) asserts that any subset of \\({\\mathbf R}\\) definable in \\(\\mathbb R_{\\text{ind}}\\) is a finite union of differences \\(\\text{st}(X)\\setminus \\text{st}(Y)\\) where \\(X,Y\\subseteq{\\mathbf R}^n\\) are definable in \\({\\mathbf R}\\) and st denotes the standard part map in \\({\\mathbf R}\\).  In order to prove this theorem, the author introduces the notion of a ``good cell'' and shows that any such good cell is of the form \\(\\text{st}(X)\\setminus \\text{st}(Y)\\) with definable \\(X,Y\\subseteq {\\mathbf R}^n\\) (Lemma 3.5). She then obtains a theorem of ``Good Cell Decomposition'', first for boxes in \\({\\mathbf R}\\) (Theorem 4.3) and then for definables sets in \\({\\mathbf R}\\) (Corollary 4.4). Theorem 1.1 then follows from Lemma 3.5 and Corollary 4.4. These results are finally used to study a question by Hrushovski, Peterzil and Pillay about the existence of measures with certain invariance properties on the lattice of bounded definable sets in \\({\\mathbf R}^n\\). The author gives a partial answer to this question, assuming a hypothesis of ``strong boundedness'' (Theorem 6.5).","type":"string"},"datatype":"string"},"type":"statement","id":"Q836113$99A96D8E-CB35-47CC-9D3C-6E0F7862EB5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"351b9450f12035701e2af37220441d0f1770f858","datavalue":{"value":{"entity-type":"item","numeric-id":836112,"id":"Q836112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$20A189CB-D947-410D-B9A7-48935465A216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$C6ED955B-E02A-44C0-BF8E-B440FE4FD828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$6A389372-AFD8-4F50-A2B5-93CA671880F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0ed973c3b009e584c0d85ef66bffa11d80e659e","datavalue":{"value":"5600326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$939425C0-69A7-4385-ABDF-BB13E56197EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653d5c25fd2d9d6b2db56d14d5bb9d03ed3d4a99","datavalue":{"value":"o-minimal expansion of real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q836113$641A5627-86BF-414B-8562-CE4C7F0F55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e463d0d248f45fd5f31f5edee30b523ee50c1385","datavalue":{"value":"standard part map","type":"string"},"datatype":"string"},"type":"statement","id":"Q836113$B0B8B43C-912A-4143-93FF-38CCD99ABCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cafb34416bd68f759dd75dce752006d46cffc711","datavalue":{"value":"good cell decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q836113$509F632F-E7D3-465E-9386-BBB0648E6248","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":"Q836113$2724142C-5CAE-4B73-BEB7-FCE2D698AAE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"863940a5d9f133f7d9e1ee28b01373a9714a003a","datavalue":{"value":"W2109230562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$0F42C728-C0C4-49AB-865A-9A1C44E20B35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ae1f958244049c4c98db71172adb1da0d93a32","datavalue":{"value":{"entity-type":"item","numeric-id":4212921,"id":"Q4212921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$73E9E13F-0B36-4CE5-96B3-DFDE6EC0506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820fed07cb0f5ed15318d92d12da2beee97d0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4676280,"id":"Q4676280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$1F9C2877-E4FA-4AB4-9F7D-43E96B7B026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$CAFEB6ED-8256-4D6A-B1A5-3C7B9DF08A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65dfb150bffcda743c968e9134199b7310898d5","datavalue":{"value":{"entity-type":"item","numeric-id":4338311,"id":"Q4338311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$C95DC751-A391-4CB2-94A7-DDBA04405E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q836113$108B88A3-EB3C-44A8-BD94-987C0782D8D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dc577d9855b2c3dcba8518fb0e5b06f0f4f079a","datavalue":{"value":"10.1007/S11856-009-0046-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q836113$9F34ACFA-EAAB-4DB8-A6C2-81FB842E779C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9332f071531ab758c0f1b4afb2a9de0ed789c0","datavalue":{"value":{"entity-type":"item","numeric-id":3080010,"id":"Q3080010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e7666c9e56521f2a8d11aa5b864e7b0dc1afed","datavalue":{"value":{"amount":"+0.8238340020179749","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":"Q836113$820AA835-FE12-4E7B-BCEE-C6872B31EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2ddcdb7e3ceeade7f98a37b8e410ef979e2cc6","datavalue":{"value":{"entity-type":"item","numeric-id":5700786,"id":"Q5700786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b30a3687963a4ab0294f5b7ae6fa0d4d77424","datavalue":{"value":{"amount":"+0.8174610137939453","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":"Q836113$3DB145B1-14DD-45BA-9EA0-5E6CD5E58A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1bbd25b41ae5f1b6cd040582767f630160c6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3080011,"id":"Q3080011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ef5f1d02589274be53704f3d9345354016b827","datavalue":{"value":{"amount":"+0.7761617302894592","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":"Q836113$0E2C3090-67A3-4FB6-983A-81AF58D76094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2871730d72b4d4764031bca2427b4af8d8f9f86c","datavalue":{"value":{"entity-type":"item","numeric-id":2717641,"id":"Q2717641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4773a69bc4a38de9dc9664e6e3bc60f49ba0ae7b","datavalue":{"value":{"amount":"+0.7754969596862793","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":"Q836113$B1E103EF-D2BF-47A7-9109-7FD32FD8BB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6d15eb632197bb7fae2d69786134f5c4eb403b","datavalue":{"value":{"entity-type":"item","numeric-id":4916197,"id":"Q4916197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4773a69bc4a38de9dc9664e6e3bc60f49ba0ae7b","datavalue":{"value":{"amount":"+0.7754969596862793","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":"Q836113$13BC4D1E-B38E-4222-8ED9-9635113A9EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_structure_on_the_real_field_generated_by_the_standard_part_map_on_an_o-minimal_expansion_of_a_real_closed_field"}}}}}