{"entities":{"Q2238127":{"pageid":2248870,"ns":120,"title":"Item:Q2238127","lastrevid":71648799,"modified":"2026-04-13T23:38:16Z","type":"item","id":"Q2238127","labels":{"en":{"language":"en","value":"Extension of \\(C^\\infty\\) functions in polynomially bounded o-minimal structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7417476"}},"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":"Q2238127$A388CC98-2548-4C41-82FA-32EDDA2230BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a42d6c7243b10ae5d99e5c310e337e4262772c81","datavalue":{"value":{"text":"Extension of \\(C^\\infty\\) functions in polynomially bounded o-minimal structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238127$881EFD49-CD56-492E-B9D5-792643C0BF3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ab6929de0048890dfca2648a3ef645bcc5926df","datavalue":{"value":"1484.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$9AC148EB-CF87-453D-910B-17D168FF9D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"966bc518d0ef5d4a01c49503ddb4d826fc4a6861","datavalue":{"value":{"entity-type":"item","numeric-id":424580,"id":"Q424580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$65B184E6-6F67-4AC0-B3B4-7DEE4D3D7ECA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$1471B61D-7C85-4637-A755-8424033CA362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0972b49faa1fac8c402fe24a8463a0a03e1c1e","datavalue":{"value":{"time":"+2021-10-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":"Q2238127$B017510A-6ECC-40F3-987F-0E12B058EB16","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a884e6c12f1a743e4baf899bd13984476ce09a7b","datavalue":{"value":"In this paper, the author shows that if an o-minimal and polynomially bounded structure satisfies the condition (C) : ``for some \\(n \\ge 1\\), any definable \\(C^{\\infty}\\) function on \\(\\mathbb R^n\\times\\mathbb R_+\\) admits a \\(C^{\\infty}\\) definable extension on some \\(\\mathbb R^n\\times (-\\varepsilon,+\\infty)\\), with \\(\\varepsilon >0\\)'', then any definable \\(C^{\\infty}\\) function is analytic.  The proof is mainly based on the following interesting argument that can already be pulled out from [\\textit{A. Parusi\u0144ski} and \\textit{J.-P. Rolin}, Can. Math. Bull. 57, No. 3, 614--620 (2014; Zbl 1303.14067)]. Given a formal series in one variable \\(f\\in\\mathbb R[[X]]\\), write \\(f(x+iy)=g(x,y)+ih(x,y)\\) with \\(g,h\\in\\mathbb R[[X,Y]]\\). If \\(g\\) or \\(h\\) is the Taylor expansion of a \\(C^{\\infty}\\) function which belongs to a quasi-analytic class closed under derivation, then it is analytic. The principle here is to mix the extension condition (C) together with definable operations to realize these real and imaginary part \\(g\\) and \\(h\\) from a definable function with Taylor expansion \\(f\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238127$84822AA8-D7A1-40AE-810F-958558E38397","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bc5420b8859f2ca6cd7d56e230bb687c005cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":1013020,"id":"Q1013020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$6396F8BE-A96A-48D1-B5D9-1C16C018F3DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$FAF88448-545D-4B44-AAAA-92A98FCEC319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$DB309B0D-C1F0-4E81-9F3E-81D9C1C8AB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$009C699D-42BC-4188-BA4E-665D8DC2EF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be33e5ca322ec7a7840d1d68d80e0558b25afb5d","datavalue":{"value":"26E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$3C8CCC81-C90D-4DF2-86BD-B34C2A1DEA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c52d2953990a9bfb53c224b465dcab4452ef7d6","datavalue":{"value":"26E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$0A4C0264-15C0-4336-96E7-295CBDE23393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a006d7e66aca437061439763d78e24bae9a129","datavalue":{"value":"7417476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$8847D190-C78F-48FA-9F40-1F60EFC76FF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf74b1a7b3317ec6c448d13a9106b675aca62ed8","datavalue":{"value":"polynomially bounded o-minimal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238127$94307B06-C9E5-45A2-9799-5105595F96BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2b26384338b16459ac1ce03f9d8b325d3e7bcfa","datavalue":{"value":"Whitney's extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238127$C83DF736-0C44-47EC-8387-230AE4B08D10","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":"Q2238127$C6144A55-5C87-47C7-A209-A441AF1E6D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e965449f56cdd21aebea003d6a41856843427f4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2021.103027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238127$C2E751F1-B15C-4A8B-98FC-C4FDB91E7E55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efead47fde04f07e2a6e369bb3ab5e049ab2746d","datavalue":{"value":"W3189756023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$3FEACC3C-0617-4AC9-89DD-166CD12621D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc2eb5526fee1cd684829adbea10b21d1120981","datavalue":{"value":{"entity-type":"item","numeric-id":4845992,"id":"Q4845992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$BBD56DFB-92C7-4F2F-949B-D8B2DFA7AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc6d62eb059f222a80c70383dd638ca6e5478b2","datavalue":{"value":{"entity-type":"item","numeric-id":5334441,"id":"Q5334441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$2B28D0FB-0769-451C-B480-39CB87FB20FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f27b03b9a6e62fc4cc3790775956e901d753421","datavalue":{"value":{"entity-type":"item","numeric-id":3053231,"id":"Q3053231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238127$BD8E25DB-B72D-4126-891B-6698F5CD72EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bd8550b02aa6bd937a242a3fcbe94eed37e1f6c","datavalue":{"value":"10.1016/J.APAL.2021.103027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238127$4EFF97DF-DB15-4A39-968A-A595BE55D08A","rank":"normal"}],"P1643":[{"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":"7134db3a929a921bbc760924b9694108a5929479","datavalue":{"value":{"amount":"+0.80905896","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":"Q2238127$5A02B4F5-EE4C-4711-B5AD-590CBBA1E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992a607b756ac9106de094a6906e2163634e7d48","datavalue":{"value":{"entity-type":"item","numeric-id":5357249,"id":"Q5357249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00cf4780b5bdcf45fb65a003164b7bd3959d346","datavalue":{"value":{"amount":"+0.78395796","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":"Q2238127$5E296FDC-5798-49DD-90BB-80CAEFEB511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34aa46692b67860370e1584d2d6191cabdddb03e","datavalue":{"value":{"entity-type":"item","numeric-id":2412557,"id":"Q2412557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c144d741ca839e153f7de600edb5318728de997","datavalue":{"value":{"amount":"+0.7638973","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":"Q2238127$03F87E3C-005C-46DB-993F-F32399FFE9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d03cb0bcbc214b52088a7d368d322e57ee7b93","datavalue":{"value":{"entity-type":"item","numeric-id":314393,"id":"Q314393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a94d31d834573e2d06fe609757fa6a147a5c3a6","datavalue":{"value":{"amount":"+0.75315225","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":"Q2238127$FD452339-78C0-412D-B124-CC728008AB21","rank":"normal"},{"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":"aba53fbfb727aae113cc4d68d46029aeb6d65771","datavalue":{"value":{"amount":"+0.7471652","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":"Q2238127$18651789-AEA8-4EDD-875A-A903B94D807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbbe86a6f84b14f062f160137278616f10a6b50","datavalue":{"value":{"entity-type":"item","numeric-id":1682405,"id":"Q1682405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ac8527cc98363c5a7f31ddbe9be7150dda6d78","datavalue":{"value":{"amount":"+0.7349808","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":"Q2238127$F841AAEE-6A2D-4280-BC35-1B4EAA6A8042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb81270a457cc03a971003411aa8a2e931e2cfab","datavalue":{"value":{"entity-type":"item","numeric-id":3408278,"id":"Q3408278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2b51574b032c815a912a35e9d787c1f2320384","datavalue":{"value":{"amount":"+0.72657394","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":"Q2238127$34D87517-2187-4E77-BAEC-D0E2C4144A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39de55f2cbf75b0f067d3e69df75db3123b51d5f","datavalue":{"value":{"entity-type":"item","numeric-id":3535219,"id":"Q3535219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0e896e959061fe867a2285ca2606c8820ac68d","datavalue":{"value":{"amount":"+0.72006226","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":"Q2238127$57128B5A-EDC2-4F8E-9338-C3B5ED19D393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c1005ddcd54ce82cac621ca34fb95a7cdb584e","datavalue":{"value":{"entity-type":"item","numeric-id":4911843,"id":"Q4911843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28cf799c35da142a812d69d96aa02276282977a","datavalue":{"value":{"amount":"+0.7192687","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":"Q2238127$4BF3D75F-4F73-4D56-B7B6-A2107AC5ACB6","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":"8dedb59d482a9d09c729341bb2077302adaa3d6e","datavalue":{"value":{"amount":"+0.7192541","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":"Q2238127$2C69B21C-8146-45E3-9CBC-E0016C10FF3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension of \\(C^\\infty\\) functions in polynomially bounded o-minimal structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extension_of_%5C(C%5E%5Cinfty%5C)_functions_in_polynomially_bounded_o-minimal_structure"}}}}}