{"entities":{"Q2825775":{"pageid":2836513,"ns":120,"title":"Item:Q2825775","lastrevid":52647092,"modified":"2026-01-23T04:37:45Z","type":"item","id":"Q2825775","labels":{"en":{"language":"en","value":"Ax-Schanuel and o-minimality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6638554"}},"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":"Q2825775$DF7810E2-2BEB-4E2E-BD0E-5C018A8066AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60f4c47f8211070f62065d16e835dc387156b70","datavalue":{"value":"1352.11061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825775$2035C062-883D-4B76-81DC-308034B995CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49994edbabc937adccb83d602746e56c9aa9916a","datavalue":{"value":{"entity-type":"item","numeric-id":333136,"id":"Q333136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825775$517E3B22-354B-405D-9019-D62E5A16E73C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c5fd02855f979443ea17f04308ea14b9a35673a","datavalue":{"value":{"time":"+2016-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825775$7199E6D8-2567-4975-96C6-09429A78AC82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cdbbbadd6a0f51224f0901f78847e129fcc704d","datavalue":{"value":"11J91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825775$85189B7E-CA9D-4ADD-98D8-9D16D010F585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825775$686BDDC0-CD22-4272-9B41-C5FE8E766424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825775$784AF176-17D1-48D5-9B99-98D6702503C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ce9ceaac105be0bf8176f5ba0a0b34fc9b9ef4","datavalue":{"value":"6638554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825775$D67DF580-D04A-4256-A47D-19EFCD74BB2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf4a44151ae8d568e8cfb3b198c10736e371d62","datavalue":{"value":"Ax-Schanuel conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825775$CD874901-A58E-4F3D-A8B3-C9AA5CEE3E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825775$E8AC4CC3-B2D8-4928-866E-7B364DD1F5BF","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":"Q2825775$1E1B6ECC-819B-4D27-833B-A4DB391C83B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0591f6e52d41ceeba2ecbbe4d906044dfa82adf5","datavalue":{"value":{"text":"Ax-Schanuel and o-minimality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825775$E0029936-500C-4D61-918D-74060FA69AD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4c04f1f31dcf557e9127e5fe8ae1e16c85b4e03","datavalue":{"value":"Commonly known as Ax-Schanuel theorem, due to \\textit{J. Ax} [Ann. of Math. (2) 93, 252--268 (1971; Zbl 0232.10026)], is the following result: If \\(f_1,\\ldots,f_n\\) \\(\\in\\mathbb{C}[[t_1,\\ldots,t_m]]\\) are power series that are \\(\\mathbb{Q}\\)-linearly independent modulo \\(\\mathbb{C}\\), then \\(\\dim_{\\mathbb{C}}\\mathbb{C}(f_1,\\ldots,f_n,e(f_1),\\ldots,e(f_n))\\geq n+\\mathrm{rank}(\\partial f_i/\\partial t_j)_{1\\leq i\\leq n,1\\leq j\\leq m}\\) holds, where \\(e(x):=e^{2\\pi ix}\\) and \\(\\dim_KL\\) denotes the transcendence degree of \\(L\\) over \\(K\\).NEWLINENEWLINEThe main aim of this note is to give two equivalent geometric interpretations of this theorem and to present a model theoretical proof of one of these using the techniques of Pila-Zannier.NEWLINENEWLINEFor the entire collection see [Zbl 1326.11003].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825775$48E85569-9212-4AF7-A49D-EF9D30AFC551","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c7e067469945e2b2745d665e067727eac325806","datavalue":{"value":{"entity-type":"item","numeric-id":206573,"id":"Q206573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825775$B37A784E-0052-4ECA-A132-CD7D7F041AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ed7135625ad8ebfb24ad845bc45c24d6b64af1","datavalue":{"value":{"entity-type":"item","numeric-id":5632678,"id":"Q5632678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b1adde012d7fd2aef5f8b92fc2b5db70720849","datavalue":{"value":{"amount":"+0.811713457107544","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":"Q2825775$A537FA5C-94BD-49AF-9881-CE75D2FA3771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158a55d2aee55abdb678adb3c7f132b12dfe74c4","datavalue":{"value":{"entity-type":"item","numeric-id":2376320,"id":"Q2376320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8292ac3df99e72b9473782fc2bc3c9d21956118","datavalue":{"value":{"amount":"+0.7882239818572998","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":"Q2825775$1414D087-3F48-4B31-BEE4-8A17F5DBAE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e6bd0fc330197001e0bc1dfb57326acfcfbc1","datavalue":{"value":{"entity-type":"item","numeric-id":2273996,"id":"Q2273996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c9b73e00ed82cbd69c72841ba46c708d22db70","datavalue":{"value":{"amount":"+0.7809523940086365","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":"Q2825775$9CF9D6E6-EEC9-4FCF-8657-FD4B1D7DDA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e79d9f6eb3f0e6553940c9da930917b48bc1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2825769,"id":"Q2825769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92fb60a92067b4bad0e9b460c2f65756bec5e81","datavalue":{"value":{"amount":"+0.7643861174583435","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":"Q2825775$E29BAEED-DB06-4575-B50D-4D92FEC1D597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3372575ea63a88ad17fb9389db7ced1e455ba6e6","datavalue":{"value":{"entity-type":"item","numeric-id":333137,"id":"Q333137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82d7fe3fac85c79a77064e7f3bdb5488eef2635","datavalue":{"value":{"amount":"+0.7593676447868347","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":"Q2825775$4DA28317-BFC2-4F91-86C2-DF4D5D202145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825775"}}}}}