{"entities":{"Q1013022":{"pageid":1014870,"ns":120,"title":"Item:Q1013022","lastrevid":69417867,"modified":"2026-04-13T06:51:58Z","type":"item","id":"Q1013022","labels":{"en":{"language":"en","value":"An o-minimal structure which does not admit \\(C^\\infty\\) cellular decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549000"}},"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":"Q1013022$C58F04E9-0CC1-4033-AB98-A7A93DAD1439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f6b973564e9fb1899f1bd2286fa25817bc80603","datavalue":{"value":{"text":"An o-minimal structure which does not admit \\(C^\\infty\\) cellular decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013022$17DBF657-7D7C-4568-8A0B-9BF2191DAE25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64416490ab1ecdae6bf9a806f2be631d8074877e","datavalue":{"value":"1193.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$78CF4633-79D9-447E-AA26-94A9E1B53500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75108dc2e2e7b9af42e3b1bdfbc38c0ffc114e53","datavalue":{"value":{"entity-type":"item","numeric-id":1013020,"id":"Q1013020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$5B4931C0-425B-4893-AA86-D6BE6F0587C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"668b7ac823ba1c4f9c35265dfaadad22a0751868","datavalue":{"value":{"entity-type":"item","numeric-id":1013021,"id":"Q1013021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$BF84165E-9196-422F-8032-1A0F01A9C0BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013022$2A165FA2-9A8A-40F1-9D4B-45F7240B4419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3118a78a4e888345eb171437134d5d820ff1ed35","datavalue":{"value":"http://www.numdam.org/item?id=AIF_2009__59_2_543_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013022$600DE3EC-6633-4E1F-AE4B-B4DB87C856CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"be18c05372912a05b1697dd6131e5aa4d6575c38","datavalue":{"value":"https://eudml.org/doc/10403","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013022$21B55CD8-978F-4297-AA18-9FAFD4B0947E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b0f5e01d2b3cbb0197d9f555fcbdc8a5066f833","datavalue":{"value":"The aim of this well-written paper is to construct an o-minimal expansion of the real field which does not admit \\(C^\\infty\\)-cell decomposition, thus settling an old open question in the subject.  It is not too hard to construct functions on the reals which are not \\(C^\\infty\\) at the origin but are \\(C^k\\) for any \\(k\\), and further, are piecewise polynomial away from \\(0\\). The problem is to show that some such function is o-minimal.  The authors follow the setting of [\\textit{J.-P. Rolin, P. Speissegger} and \\textit{A. J. Wilkie}, J. Am. Math. Soc. 16, No. 4, 751--777 (2003; Zbl 1095.26018)] and so have to show that large algebras of functions generated by the initial function, under some basic operations, are quasianalytic. The main work, and difficulty, in the paper is to show that if the Taylor expansion of the initial function at the origin is sufficiently generic then the desired quasianalyticity can be achieved.  The authors then adapt the model completeness and o-minimality proofs from the paper cited above to work with suitable non-\\(C^{\\infty}\\) functions, and this completes the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013022$BE151C46-AF11-41A0-9E99-9EF17CCD964E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$E81BDA40-4979-4BFB-87B5-4EB3F35A45BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf241bd7117daf3a91684dd92feff523bc285195","datavalue":{"value":"26A27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$9C677169-49B5-414E-BFD5-30F35353432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8475772cd76d70f65896cc465d9126315619c19c","datavalue":{"value":"57R45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$DE779706-11BE-4952-8731-9490857E2C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e504006fe3e901e8b30b18ead18c1ec033839a","datavalue":{"value":"5549000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$50BA8DC3-FC98-4738-B663-60028AFF938E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df841e13066c1f14a32b4116a746a5d9937f74d","datavalue":{"value":"o-minimal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013022$D7C9438B-8751-4FC6-8522-1984FFF26AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f47c3940e41a380922bdd024e84becc725597f","datavalue":{"value":"smooth cell decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013022$FAA352F8-0816-4288-B52C-1C9C30101B60","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":"Q1013022$37986414-4071-489F-988B-1703C72320F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec6db9b034c2cdf0835fa850aedce211efa9b2aa","datavalue":{"value":"W2321265448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$3BDAF884-52E0-41B6-B04C-3DD26A929563","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfd3cac7613c224d591eacb86fd8e8d0bfaef9d","datavalue":{"value":{"entity-type":"item","numeric-id":1121406,"id":"Q1121406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$DDE22356-A46F-458B-B920-5C28F03974D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c144670c3fd42cce656d8a1382ec0ec40c30c761","datavalue":{"value":{"entity-type":"item","numeric-id":584334,"id":"Q584334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$5153FF2E-7F43-4D8C-8B6B-9A37615D2CA3","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":"Q1013022$C22B35C2-55D8-495B-A2FF-828B0C64AB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfaea7ce69cf189127cae360b3686e66f2de713","datavalue":{"value":{"entity-type":"item","numeric-id":4211151,"id":"Q4211151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$8A41F57D-9775-47BE-AC54-BBC31C12788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40246d5c01a19fb16693f4dc6b1b0c7ceef73f17","datavalue":{"value":{"entity-type":"item","numeric-id":2766374,"id":"Q2766374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$1E5C43F4-248B-4A91-9688-A520756C3CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6073ced0719d866016455d739b76040d85b235","datavalue":{"value":{"entity-type":"item","numeric-id":1914830,"id":"Q1914830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$AD99E033-6634-4475-8977-53EFA29A5B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81bbfda4e4c47640aad4ca11887f12d9178f2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4419566,"id":"Q4419566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$C10FA219-CD82-4B94-889C-595552470E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0b86b2e54b45c9bcaa36685917114010aa9819","datavalue":{"value":{"entity-type":"item","numeric-id":1971497,"id":"Q1971497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$9835AE46-0729-4B67-8AEF-0C7564972383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e62428c7cad0cdf60ea01c9877629ae0a8100c91","datavalue":{"value":"10.5802/AIF.2439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013022$A64060BC-7614-45EF-921B-3359250D6CCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3194ded84ac7d03a79aad8af9e954357fc8cae9f","datavalue":{"value":{"entity-type":"item","numeric-id":2476534,"id":"Q2476534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e11165453714fb1cb05b81caab34b199ced9bfa","datavalue":{"value":{"amount":"+0.8548629","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":"Q1013022$0542C4BF-4246-44F0-A249-B1458A8D98BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdb83f5c5c6508c88ce6d23e8e909beca85dc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1295415,"id":"Q1295415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99be4ee0fe46588366e1d9b8fc33927525901dd5","datavalue":{"value":{"amount":"+0.7608845","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":"Q1013022$8034A28E-7B4A-42FD-93F7-05C37D94C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6efd8941ff8733969e62616254e457f026d8a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2430112,"id":"Q2430112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7264f3dd02003a4ddc93bc40d3e4733c39710d4","datavalue":{"value":{"amount":"+0.73454106","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":"Q1013022$1480C78B-539C-4445-8C34-0E3DFE9462AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5226d57bfefc0ef1e14a859559d96895b9008afd","datavalue":{"value":{"entity-type":"item","numeric-id":3413144,"id":"Q3413144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b046fe97118c14f53167d6048a4ea2cc8aacf05","datavalue":{"value":{"amount":"+0.73310745","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":"Q1013022$AF508DBF-A7CA-4E61-9E52-99D1695A84C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9508173a9f827466737a42aa2dad6993e761fa52","datavalue":{"value":{"entity-type":"item","numeric-id":2238127,"id":"Q2238127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d86b7a38f955d52afdc2c12a73fba7c0cb1cd3","datavalue":{"value":{"amount":"+0.7127059","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":"Q1013022$47FCD03A-92FD-41F0-BBF3-028D437C5291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d076b65adeb72847917a3328117786d6922d3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3507532,"id":"Q3507532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62eca050ce45c7bbd297059200b2ca9ce697cdc4","datavalue":{"value":{"amount":"+0.7075581","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":"Q1013022$58ED2C27-FC06-498E-9690-7DEFD692D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bdf412c0caba9bf8692bc7d3c3bcef7c62cb12f","datavalue":{"value":{"entity-type":"item","numeric-id":3404361,"id":"Q3404361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f15a6664e735491c520e03e26aaac94c6cdfd8","datavalue":{"value":{"amount":"+0.7070174","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":"Q1013022$1130FD11-A5D9-4BCB-83F7-A4F8BF4E44A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094ddcbaf85e79e9d1ca0c257bb49bb7671f91db","datavalue":{"value":{"entity-type":"item","numeric-id":4845992,"id":"Q4845992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7212d47a8932de13af440b7aa0b288c024e5b6","datavalue":{"value":{"amount":"+0.7004351","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":"Q1013022$A1ADC3AE-7B1C-4C06-BA56-6213CA9604A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2bdc7615e37f260023076cefb2cdfdf4695112","datavalue":{"value":{"entity-type":"item","numeric-id":2782445,"id":"Q2782445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331a9dd92f41b05f244a672128ffbbbaa7cd37e0","datavalue":{"value":{"amount":"+0.700273","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":"Q1013022$C31F4113-64D1-40F2-9CE8-EACBDF100B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd9b29c688ee27c3fcb7bfc6df27e5528766cda","datavalue":{"value":{"entity-type":"item","numeric-id":3508086,"id":"Q3508086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c3f60e822637c2ecf5b6093886051d38875d32","datavalue":{"value":{"amount":"+0.69670296","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":"Q1013022$D5891CBC-35C9-48B2-8A4D-8B35FD04AF33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013022$6A0CD31B-574E-48C3-8191-144403ECE526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An o-minimal structure which does not admit \\(C^\\infty\\) cellular decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_o-minimal_structure_which_does_not_admit_%5C(C%5E%5Cinfty%5C)_cellular_decomposition"}}}}}