{"entities":{"Q1708554":{"pageid":1719295,"ns":120,"title":"Item:Q1708554","lastrevid":68988777,"modified":"2026-04-13T03:34:05Z","type":"item","id":"Q1708554","labels":{"en":{"language":"en","value":"Surreal numbers, derivations and transseries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852549"}},"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":"Q1708554$1DF1C659-477F-4C72-86DD-F460AF8137A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63721783cf2dc8add6f2372ae9adc88f2772e06b","datavalue":{"value":{"text":"Surreal numbers, derivations and transseries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708554$9D9DA3C6-53DC-4B04-9A5A-2E71733704A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98f7e60cdbe84c1b2b8fde491858627e16374180","datavalue":{"value":"1477.12006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$BB7C7F0A-77D4-44B0-8242-550A37F8A199","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41a2ac38cc56e8a0cf8bc17b8ec4cd6bd9f7c132","datavalue":{"value":"10.4171/JEMS/769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$64570676-DCDF-498E-BFBA-A4B957345776","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708554$28626800-208A-4CE9-9F4B-CF758B4CDA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae75ae80631cf2c083148843edadb1a05d25f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":634435,"id":"Q634435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708554$8A8C0233-897E-4529-953A-4A66235AD021","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708554$323CABEC-62A6-40D4-8594-BBF7733F2202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c52e8821da0e2bfacfdb2ff41b10d5c84490346","datavalue":{"value":{"time":"+2018-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708554$FBBE57DD-E594-4313-BC97-AD2E72A845B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a18e4d1fc05efded3f51f544e5826d0082b327de","datavalue":{"value":"https://arxiv.org/abs/1503.00315","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708554$E6FB3320-DB21-4F3D-A0C8-3E7BCA329FD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70b628b12a888b80cb20d84bd97ba312b7a34350","datavalue":{"value":"This article concerns Conway's real closed field of surreal numbers \\textbf{No} [\\textit{J. H. Conway}, On numbers and games. London: Academic Press (1976; Zbl 0334.00004)]. Recall that these numbers, which encompass all at once real numbers and ordinal numbers, can also be viewed as (bounded) generalized power series in the sense of [\\textit{H. Hahn}, Wien. Ber. 116, 601--655 (1907; JFM 38.0501.01)]. Moreover, after [\\textit{H. Gonshor}, An introduction to the theory of surreal numbers. Cambridge: Cambridge University Press (1986; Zbl 0595.12017)], \\textbf{No} comes equipped with Gonshor's extension of the real exponentiation. Hence, there remained an important pending question to complete this real analytic approach: could \\textbf{No} be endowed with a compatible derivation? This is what the authors achieve in the present article:   \\textbf{Theorem} (Theorem A, Theorem 6.30). The field \\textbf{No} admits a derivation \\(D :\\textbf{No}\\rightarrow\\textbf{No}\\) satisfying the following properties: (1) Leibniz' rule: \\(D(xy) = xD(y) + yD(x)\\); (2) strong additivity: \\(D\\left(\\sum_{i\\in I} x_i\\right)=\\sum_{i\\in I}D(x_i)\\) if \\((x_i : i \\in I)\\) is summable; (3) compatibility with exponentiation: \\(D(\\text{exp}(x)) = \\text{exp}(x)D(x)\\); (4) constant field \\(\\mathbb R\\): \\(\\ker(D) = \\mathbb R\\); (5) \\(H\\)-field: if \\(x > N\\), then \\(D(x) > 0\\).  The notion of \\(H\\)-field is an abstract version of that of Hardy fields, due to \\textit{M. Aschenbrenner} and \\textit{L. van den Dries} [Math. Z. 242, No. 3, 543--588 (2002; Zbl 1066.12002)]. In fact, they obtain the following stronger result:   \\textbf{Theorem} (Theorem B, Theorem 7.7). The field \\textbf{No} of surreal numbers equipped with \\(D\\) is a Liouville closed H-field with small derivation in the sense of [loc. cit.], that is, \\(D\\) is surjective and sends infinitesimals to infinitesimals.   This was subsequently used in [\\textit{M. Aschenbrenner} et al., J. Eur. Math. Soc. (JEMS) 21, No. 4, 1179--1199 (2019; Zbl 1470.12004)] to show that \\textbf{No} is a universal domain for \\(H\\)-fields, in particular for Hardy fields.  To obtain their main result, the authors resume and extend results of the PhD thesis of Schmeling (see also [\\textit{J. van der Hoeven}, Transseries and real differential algebra. Berlin: Springer (2006; Zbl 1128.12008)]):   \\textbf{Theorem} (Theorem C, Theorem 8.10). \\textbf{No} is a field of transseries in the sense of Schmeling.   More precisely, they proceed by: \\begin{itemize} \\item writing surreal numbers in a so-called \\textit{Ressayre normal form} to reduce to a smaller subclass of \\textbf{No}; \\item identifying the subclass of \\textit{log-atomic numbers} as \\textit{\\(\\lambda\\)-numbers} (a generalization of the \\(\\kappa\\)-numbers of [\\textit{S. Kuhlmann} and \\textit{M. Matusinski}, Order 32, No. 1, 53--68 (2015; Zbl 1388.12013)]) and as \\textit{levels} in the sense of [\\textit{D. Marker} and \\textit{C. Miller}, Rev. Mat. Univ. Complutense Madr. 10, 241--249 (1997; Zbl 0879.03012)]; \\item providing a formula for the derivatives of the latter; \\item proving the so-called axiom (T4) of Schmeling and exploiting it to extend the derivation formula to the whole of \\textbf{No}. \\end{itemize} One of their key ingredients is what they call the \\textit{nested truncation rank} which allows them to prove by induction the important and difficult summability questions.  We advise the reader to go through the very informative detailed introduction of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708554$DFC27625-53B1-4FDD-8EDC-FBD71B940EC2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"78766807b0e648a4e7f7fff25c6a974991103045","datavalue":{"value":{"entity-type":"item","numeric-id":408509,"id":"Q408509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708554$EFDEFE00-6063-4996-80FE-06AFBF8A3FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$9EB8E528-9061-4B42-8F49-F484AB90ECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$9AFBA3AD-EBAA-4D40-8328-61B96B6C36E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$D328EB35-F7AA-47B8-8B67-F9D51F17FF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$0977D3EC-FA98-4258-8F1C-66E7F8B618F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52efad07cee289306d57a417a4bf10e2e1f97c9d","datavalue":{"value":"6852549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$49483CBC-592E-45A2-AD50-A552E318CB85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24fc428fcac400b80e64acef29cdbe984ede493","datavalue":{"value":"surreal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708554$B706FB33-6772-42FA-847B-B718FD56ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d84b62177d7615333623a9b236bf9245b0538e","datavalue":{"value":"transseries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708554$7121D8BF-1E66-4FA9-B407-E9B36BD34D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e96d824441d1ae7d054a5f4dad03b20bd72f78c","datavalue":{"value":"Hardy fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708554$82E037AA-E108-44F3-B58F-D40BB35B20A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8945963b112b4c0bfb0ecad3105ee6ae8620c8f9","datavalue":{"value":"differential fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708554$3C5FBDF7-C294-4523-B5C0-0A8B2AA98849","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":"Q1708554$1C016E11-9F69-4056-A496-FC454F828783","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d4dd77b042ad03f472cbb8a7c2f4eec7293b46ca","datavalue":{"value":"Q59885496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708554$234F909E-D8DA-4207-8AE9-5A2130642785","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bc359acc60b4b2087da91df4132e0a3f17db47","datavalue":{"value":{"entity-type":"item","numeric-id":1737977,"id":"Q1737977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd54692f0ea0e575497819c61dddf7eafcde78d","datavalue":{"value":{"amount":"+0.8118598","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":"Q1708554$C0A6BDED-30AC-4965-8B4C-7EE284EAF17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4136ed8f0d494defc89d6d3ffb59f810dc47e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4630672,"id":"Q4630672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fa7f9baae4926f9806a537a10d333e6a85e671","datavalue":{"value":{"amount":"+0.78251624","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":"Q1708554$D0D201AE-1E75-4ACA-B795-BB2415E9601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e944cf1ae9de50523be2341fc574d8dec66e5e63","datavalue":{"value":{"entity-type":"item","numeric-id":1749555,"id":"Q1749555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c7970d6953a9f8293157418e36456198297092","datavalue":{"value":{"amount":"+0.77178085","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":"Q1708554$E521DB41-F170-47CF-AEDA-4F0D4198A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1c1692b5751644669ec5f02d9acea1ec48b455","datavalue":{"value":{"entity-type":"item","numeric-id":5015725,"id":"Q5015725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932d599967cba2b1159fe355108c8a347cc63fd0","datavalue":{"value":{"amount":"+0.7492558","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":"Q1708554$696E4086-8D70-4668-AB88-FA7A89B01A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a3fe372325ad8e547aad2a9790f7a6e9df74c","datavalue":{"value":{"entity-type":"item","numeric-id":4635370,"id":"Q4635370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37adb08b2c4a8e4b022c6793b81e7694f8c088fb","datavalue":{"value":{"amount":"+0.726035","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":"Q1708554$059AA71D-5870-4AEB-B18D-90BDD662F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ddf70341c5adc86254446fad5299605a16cd551","datavalue":{"value":{"entity-type":"item","numeric-id":921057,"id":"Q921057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204913f06f9f164eb93b36516568a445c610b134","datavalue":{"value":{"amount":"+0.72270536","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":"Q1708554$3D580867-5FEF-449F-9C17-D1F7FA62B11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afa78f2da8be56ae9219e05bec5fde09a740776","datavalue":{"value":{"entity-type":"item","numeric-id":5889243,"id":"Q5889243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdc9bcf0f7750caba283b07155ed9d2a39d2fcf","datavalue":{"value":{"amount":"+0.7215234","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":"Q1708554$3E2E3CB6-A12C-4ACD-A1DB-59629698DEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4689305beb5c70be5afe80426da727828ddea16","datavalue":{"value":{"entity-type":"item","numeric-id":2930875,"id":"Q2930875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2de94f42c546bc913f1bc5a426767bb767b970","datavalue":{"value":{"amount":"+0.7190142","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":"Q1708554$5D1B81C2-2866-4C13-B898-EE45C96284F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f012a709fa9619276809fb8d7261f463823baf","datavalue":{"value":{"entity-type":"item","numeric-id":2264115,"id":"Q2264115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb0b3260084cab78392b25b299538b99e0f26cd","datavalue":{"value":{"amount":"+0.7084529","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":"Q1708554$705745BF-A9AE-40AE-8A81-7DA1FBA4C56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1253858d23adf31981bed8658f16adbc8aa6a4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3757993,"id":"Q3757993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb5eac40d56db554fca0add537bf86b35a33a5f","datavalue":{"value":{"amount":"+0.691169","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":"Q1708554$001DC23B-8A95-4F67-AD81-092FE7002266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Surreal numbers, derivations and transseries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Surreal_numbers,_derivations_and_transseries"}}}}}