{"entities":{"Q2430112":{"pageid":2440855,"ns":120,"title":"Item:Q2430112","lastrevid":78805700,"modified":"2026-05-06T12:28:50Z","type":"item","id":"Q2430112","labels":{"en":{"language":"en","value":"A generic condition implying o-minimality for restricted \\(C^\\infty\\)-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874807"}},"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":"Q2430112$3842F1FF-8EB8-4CA1-A089-33BF7F11C577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e7c0f387bd65e7c4596de9973a8371e5ddabe38","datavalue":{"value":{"text":"A generic condition implying o-minimality for restricted \\(C^\\infty\\)-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2430112$8AA344BD-8D37-4FBC-AAA1-B35E6D33CB20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad54421998bb7d08d75709ae7fbb32f5f0ce17e1","datavalue":{"value":"1215.26012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$6353CE8C-B62F-40C6-8A4D-16D0869270E7","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":"Q2430112$7A8040FE-D61A-45CE-A295-D92A90E90420","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdb1c802480718978fcfa1a59212ef32b2d31016","datavalue":{"value":{"entity-type":"item","numeric-id":169535,"id":"Q169535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430112$9B2DDCE9-1B0F-42C3-89A6-ABDBF69ACECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b25fd71e890a291922acd90c65898775ceff0d51","datavalue":{"value":{"time":"+2011-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2430112$74D0FC8B-80A4-4C06-BBA4-C57EAC4FE940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"999c2c37147de1b8538767012dc57395cf152393","datavalue":{"value":"https://eudml.org/doc/115893","type":"string"},"datatype":"url"},"type":"statement","id":"Q2430112$98D2EA92-F537-403B-A5D0-FEAD8A3BD770","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b2b98711cba51b5edb734256067cddf99a704fe","datavalue":{"value":"The following results are obtained.  Theorem 1.1. The set of restricted strongly transcendental functions is residual in \\(C^\\infty([0, 1])\\).  Theorem 1.2. Let \\(h\\) be a restricted strongly transcendental function. Then an expansion \\(\\mathbb R_h\\) is o-minimal, polynomially bounded and admits \\(C^\\infty\\)-cell decomposition.  The scheme of the proof of this theorem is merely an adaption of the method developed by Le Gal-Rollin (2008) to construct an o-minimal structure that does not admit \\(C^\\infty\\)-cell decomposition, jointly with the main theorem by Rollin-Speissegger (2003), which asserts that o-minimality follows from quasi-analyticity.  As a consequence, it is shown that there exists an o-minimal expansion \\(\\mathbb R_h\\) of the real field such that \\(\\mathbb R_{h, \\text{an}}\\) is not o-minimal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430112$7F092859-EAA1-43C1-BB14-FAE6A0B95CAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b3f1905f1504805e65326f66a7ea326c7fa10dc3","datavalue":{"value":{"entity-type":"item","numeric-id":264339,"id":"Q264339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430112$4EECC979-33E3-43AD-BC21-59F467D8CF7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be33e5ca322ec7a7840d1d68d80e0558b25afb5d","datavalue":{"value":"26E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$015B19A5-C585-4874-840F-B39F375A16BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5a99b694950dbf951f8cf84bd00328a8aa0fcf","datavalue":{"value":"58C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$D948B221-79EB-483B-B1CC-69F4550FF043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d9568f0a0be172ddb62545c350067bf39ddba8d","datavalue":{"value":"5874807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$7DF1EA92-FF0B-4152-8391-03867F20F3A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0a6720e957d8b21ccae588004a9ca837d671158","datavalue":{"value":"\\(C^{\\infty}\\) functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430112$3FDA1A61-5A93-4405-A87F-2AD8FDAAF38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d15fac38c78ed19372ca2a7cda529b66e636ae4","datavalue":{"value":"restricted strongly transcendental functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430112$73404180-5330-44D6-BD7D-E88D15C04A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfc723beaab24c6dbe0e00a0948c2be998352cb","datavalue":{"value":"generically o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430112$298203A5-FB65-4FEC-923C-6FECB1F7A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89abf23cf00d86dcd3e46dedfedc4de523a19967","datavalue":{"value":"polynomially bounded set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430112$461D3CA6-D0BF-4842-A925-972F5D81EBAA","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":"Q2430112$E0EC9449-B376-4321-9923-EB42F9A07378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19cf1d422940bb470b968a66a83be06483bd280e","datavalue":{"value":"W2316248971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$DABE3D01-E54F-4093-9703-3CD75D5641C5","rank":"normal"}],"P223":[{"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":"Q2430112$59A25D79-D6D1-4CFB-A260-EEBF296B2F42","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":"Q2430112$2B93856D-A662-450B-A875-F3F23BDB0C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf6829478cb8aa7f863ed08ceb83379f1e3cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1013022,"id":"Q1013022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430112$465616A8-5B1C-42B3-B420-7473A090B996","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":"Q2430112$1D0D4B0B-496E-41A4-890D-A155CD71CE0D","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":"Q2430112$2814903A-BAD8-4756-92E2-F847EAB888DC","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":"Q2430112$168D0F9D-9C06-4785-B720-DD62B790A321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0361306b6c262d65f3371e789987ceaf9e14aa6","datavalue":{"value":"10.5802/AFST.1252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430112$A3461D75-F266-4628-8B4B-1043B24C4B97","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":"bbf78f4abf63649749df87faac4a760ba5d6754f","datavalue":{"value":{"amount":"+0.8388897776603699","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":"Q2430112$9FD16FE1-0738-4F66-B108-6A0542658D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa3a956194b27cefe07af6effef573e54f70771","datavalue":{"value":{"entity-type":"item","numeric-id":4419566,"id":"Q4419566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e16fbd10bad944025d78d8d2b0eab72c42c86ee","datavalue":{"value":{"amount":"+0.8125534057617188","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":"Q2430112$D80C7A73-EC03-4177-9D1E-FB7248DA2920","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":"17e44d707588cae506ac37677466f74d510b23db","datavalue":{"value":{"amount":"+0.8102863430976868","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":"Q2430112$25BDDC9A-E2ED-4BB9-B790-8829A1E4B7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a2a3ec68337e33ffba16b8433380b8b0522005","datavalue":{"value":{"entity-type":"item","numeric-id":1013022,"id":"Q1013022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f84683b9cfcbc00c6820efaba2c449e035a967","datavalue":{"value":{"amount":"+0.7989975810050964","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":"Q2430112$FA14EA3B-B474-425D-B080-BA309F6CA768","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":"cb4ff6cb278db93e9b55c184200221b7d71249fe","datavalue":{"value":{"amount":"+0.796199381351471","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":"Q2430112$31089E38-9E17-44AD-A666-ADD63DF51951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generic condition implying o-minimality for restricted \\(C^\\infty\\)-functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generic_condition_implying_o-minimality_for_restricted_%5C(C%5E%5Cinfty%5C)-functions"}}}}}