{"entities":{"Q2472613":{"pageid":2483356,"ns":120,"title":"Item:Q2472613","lastrevid":50283500,"modified":"2026-01-13T18:07:31Z","type":"item","id":"Q2472613","labels":{"en":{"language":"en","value":"A note on weakly o-minimal structures and definable completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5238549"}},"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":"Q2472613$3904D7A3-7AFF-4318-ADB6-A0D8A3D93F11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fced24221793d059a8359c543812f83baeb8b6bb","datavalue":{"value":{"text":"A note on weakly o-minimal structures and definable completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2472613$FC9DF558-31C9-46E6-B247-A98EBB523709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce17e2cb787895fa90664e55f969440ffda25526","datavalue":{"value":"1146.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$6C9A10B3-B8E2-47EA-B27E-D9E9595C85BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb84c5e0a795204ef59d103d4f0f8fe75e32f83","datavalue":{"value":{"entity-type":"item","numeric-id":287477,"id":"Q287477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472613$475DB4C9-FA47-4EEB-BECD-D50EA55B358F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472613$9F339E68-E8F7-4718-BAE0-C9CEDCA80CEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466ae4194d5d9f61f81aef55cc4204c3dadc143d","datavalue":{"value":{"time":"+2008-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2472613$565B291B-92C0-46FA-895B-94EBF9BE5077","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af95fa0db26380db2ed55f826edc321d19a97399","datavalue":{"value":"The paper under review deals with the landscape of ordered structures. There are two main relaxations of the well-known definition of o-minimal structures:  A structure expanding a dense linear order is called weakly o-minimal if every unary definable set is a finite union of convex sets. A structure expanding a dense linear order is called definably complete if every unary definable set which is bounded from above (from below) has a supremum (an infimum). Note that a weakly o-minimal structure which is definably complete is o-minimal.  O-minimal structures exhibit tameness; the definable sets have nice topological properties. O-minimal structures can be viewed as those definably complete structures having good properties. Also weakly o-minimal structures (theories) show to a certain extent tameness [see \\textit{D. Macpherson, D. Marker} and \\textit{C. Steinhorn}, ``Weakly o-minimal structures and real closed fields'', Trans. Am. Math. Soc. 352, No. 12, 5435--5483 (2000; Zbl 0982.03021)].  The question of the author is now the following: Does the notion of weakly o-minimal structures capture exactly those ordered structures with nice topological properties which fail to be definably complete? He answers this question negatively by looking at the following problem:  Given a definable set that is closed and bounded, is the image of the set by applying a coordinate transformation again closed? (Note that this holds in o-minimal structures by the results of \\textit{C. Miller} [``Expansions of dense linear orders with the intermediate value property'', J. Symb. Log. 66, No. 4, 1783--1790 (2001; Zbl 1001.03039)].)  The author gives in the first part of the paper on the one hand a weakly o-minimal structure where the above holds and on the other hand a weakly o-minimal structure where it does not necessarily hold. The second part of the paper deals with the question whether certain tame properties of a structure (concerning non-existence of infinite discrete sets or uniform finiteness) implies weak o-minimality (as they imply o-minimality assuming definable completeness). The author answers also this question negatively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$92F76BAD-6FB0-4B19-B9F2-F87167D865FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7f8347bd062ba2d23b061672294b87c54f4db15","datavalue":{"value":{"entity-type":"item","numeric-id":314392,"id":"Q314392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472613$5C82F0DF-CCAB-4A71-B56B-574D3F284B13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$BAC170C0-5CF9-4DBC-BDEB-28EECC745B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$9BA1224E-9AE6-43DF-80D1-8B6B4E002DBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ca00a79a21af3d59751dbc5f593a31d559c630","datavalue":{"value":"5238549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$6F779E9A-E3AD-445A-9642-E470BECBE787","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df841e13066c1f14a32b4116a746a5d9937f74d","datavalue":{"value":"o-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$91162B22-E914-4050-878D-CD09DAFD8E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce03cbccb0a0734c75d035f92d2ddbd585974ce","datavalue":{"value":"weakly o-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$68093642-B7E4-4B74-9423-A9F73B37801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75594ac136f9b33a56ba5453f9c36aa75387b338","datavalue":{"value":"ordered structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$08F41858-1E73-4F69-BC63-828701B32C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8bea399635a105cd6486241618d52a7f552ffd","datavalue":{"value":"definably complete structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$F96AAFB2-F541-4D56-913D-0CE830BD52FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7816d4e9b172b80929b8d08b8ea72a71c2eef6","datavalue":{"value":"tameness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472613$D9B557F2-7CB4-4D2F-A5AE-BA2AF8211ABB","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":"Q2472613$48D788AF-0745-4739-8CD6-E2BAD24AC7A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edc26b9a0944dd7bace1e0c57f05d75669f9e0d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1179323268","type":"string"},"datatype":"url"},"type":"statement","id":"Q2472613$1E7B9726-FEAD-41EF-867F-CE4322A50EA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e68c9b62720f17fc091f03779794153f5e8adde9","datavalue":{"value":"W1976211079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$76654754-1272-4721-9331-F0F33713AE26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3e6819ae9685151f258bdf15dd7111fea020287","datavalue":{"value":"10.1305/NDJFL/1179323268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472613$50689C1D-A77F-469B-81BD-5046D1C6B608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b61240eb11e3086ab161716c3e5b56361031b8","datavalue":{"value":{"entity-type":"item","numeric-id":4505928,"id":"Q4505928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8489ebdc022db94fc72da26203882bdff7e567d9","datavalue":{"value":{"amount":"+0.8180195689201355","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":"Q2472613$EDCBB5C3-E702-4134-BB69-D8C4249F5C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdef6b0ad2ab8817f798394078663c5a5e495e52","datavalue":{"value":{"entity-type":"item","numeric-id":3182363,"id":"Q3182363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151ddc4fbf46a5bcbf2b680f0aef0b85573dacec","datavalue":{"value":{"amount":"+0.8003907799720764","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":"Q2472613$CF57F333-3045-4F7B-B662-2277563F403D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95d2f0308b0e7fbc6c2cd95fe0b85aa6e7e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2449858,"id":"Q2449858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6731fa3fd5c0e8c5e9938358d8b688b9ac86e43","datavalue":{"value":{"amount":"+0.7861499190330505","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":"Q2472613$21704F1B-564A-4A3F-A10C-AD17DD352698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664eae34c678645db17cc500c500fad980da6cee","datavalue":{"value":{"entity-type":"item","numeric-id":4254696,"id":"Q4254696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7e6ca57687743ec2a70b21b92967401431356c","datavalue":{"value":{"amount":"+0.7803026437759399","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":"Q2472613$45C227D5-A584-4149-90BA-4BF6D63479CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091f4c69e8f18e533f44a2009985c369492e1e58","datavalue":{"value":{"entity-type":"item","numeric-id":5222529,"id":"Q5222529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57117ee1963d520a795e743253f129f552e70141","datavalue":{"value":{"amount":"+0.7773123383522034","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":"Q2472613$B55891DE-D4E3-4626-850A-E0871F742793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2472613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2472613"}}}}}