{"entities":{"Q2431731":{"pageid":2442474,"ns":120,"title":"Item:Q2431731","lastrevid":44074602,"modified":"2025-11-19T17:22:43Z","type":"item","id":"Q2431731","labels":{"en":{"language":"en","value":"Transseries and real differential algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066375"}},"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":"Q2431731$B6013EEE-246D-4829-9C20-8AE056956A88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b7b0d7867cc6d749511bc4886ec4e6c0fd941a5","datavalue":{"value":{"text":"Transseries and real differential algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431731$11ED3C64-1748-48B7-9A16-A12FBC27E9F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f67ac5f9efb4b1bac6bbc414769a19344fda1e5","datavalue":{"value":"1128.12008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$8588D488-CD50-4BB7-88E7-2DB7AC035AFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8920e808da7b88deaaa26dfa5df9400d687fea19","datavalue":{"value":"10.1007/3-540-35590-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$5DC9DE28-8A79-488C-9FAF-305A3826400A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbac42ac2c84d12533405ebcc24e236f8e4e04d","datavalue":{"value":{"entity-type":"item","numeric-id":190427,"id":"Q190427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431731$FBA883B6-A626-40F6-9B4B-8511B15465BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431731$B2125F40-E15F-4859-B9A5-02CE27018BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"739683939dd544f424afcd43b3dd081c97b48d09","datavalue":{"value":{"time":"+2006-10-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":"Q2431731$2F047CAF-8DEA-462B-B2BE-ABB924C53379","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fb8556565f295ce3d9e2619f5b0350365e7b116","datavalue":{"value":"This book presents the field \\(\\mathbb T\\) of transseries and some of its properties. A transseries can be described, speaking loosely, as a formal object constructed from the real numbers and an infinitely large variable \\(x\\) using infinite summation, exponentiation, and logarithm. In particular, \\(\\mathbb T\\) is shown to be totally ordered, real closed, and stable under differentiation, integration, composition, and functional inversion. It also satisfies a differential intermediate value property: given a differential polynomial \\(P\\) over \\(\\mathbb T\\) for which there exist transseries \\(f < g\\) with \\(P(f)P(g) < 0\\) then there is a transseries \\(h \\in \\mathbb T\\) with \\(f < h < g\\) for which \\(P(h)=0\\). This implies that any algebraic differential equation of odd degree over \\(\\mathbb T\\) has a solution in \\(\\mathbb T\\).   The statements in the preceding paragraph are essentially quotations from the author's introduction. In fact the precise definition of \\(\\mathbb T\\) comes in the middle of chapter 4 of this nine chapter volume, and the proof of the intermediate value property comes in the final section of the last chapter.   Chapters 1, 2, and 3 on orderings, grid-based series, and the Newton polygon method, lay the foundations for the definition of transseries in chapter 4. Chapters 5 and 6, on operations on transseries and grid--based operators, give the non--differential closure properties of \\(\\mathbb T\\). Chapters 7, 8, and 9 then cover linear differential equations, algebraic differential equations, and the intermediate value theorem, for \\(\\mathbb T\\).   The author intends the book for non-specialists, including graduate students, and to that end has made the volume self-contained and included exercises. The book is intended for mathematicians working in analysis, model theory, or computer algebra. Algebraists should also find interest in the algebraic properties of the field of transseries.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431731$D5FD1E9D-2599-457A-8A9B-74F185CA1073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$7D071C8F-DCFE-4B1B-9803-AE3FD794D819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68b907992f9adb98781e99a5d59f391671e6cc8","datavalue":{"value":"12-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$991158A2-C35C-4A6A-8D33-0591CEE7CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9a6d54dde930b43e303d4544e612346052d4c54","datavalue":{"value":"34-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$98810CFF-1FAA-4DED-864C-7A51FBB46D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"405fd1d54bbe3d1a49f6ed5a53b755344fe66fa2","datavalue":{"value":"13N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$9B694559-FF2F-4222-9AF2-3BAD30483085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60a6781d0ab97a91a365a5e451d7338cab17b6d4","datavalue":{"value":"34M37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$748DEA37-5293-4B9B-86D6-70FEE7166150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$FD552B6E-83AD-4A88-9E08-54581118D56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369968b94bedec67809e79c2bc51bcd1ba8c331d","datavalue":{"value":"5066375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$3F5B1A57-DAB5-48E9-BD74-29169386FC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c7c3b47c558214484bbd2bf46faeaf9ce2b77a","datavalue":{"value":"differential field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431731$2367BC58-426E-49A2-AB1A-56B7C319D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f43052398d8dcfc62e874057b8c2c89c1b1041","datavalue":{"value":"infinite summation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431731$2CC52CF3-C4C1-415F-A9B0-BEE20B62F23A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99f6f42db081d255047e4db03aedb85f11dd505e","datavalue":{"value":{"entity-type":"item","numeric-id":222402,"id":"Q222402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431731$4B0E33FC-77F2-4902-B164-85B469912BF6","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":"Q2431731$2B66C399-2A5D-4A36-9EA8-F95093657600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1654aa6d3cd5f6ba12222768aae551e482b14856","datavalue":{"value":"https://doi.org/10.1007/3-540-35590-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431731$BC76E24F-4FE6-43E1-8083-1B911565FBDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec5afa13e0a86a202f9f1f68fc4ddc4fcc2329e","datavalue":{"value":"W93303455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431731$E2C564D7-C6CB-40E2-9E9B-82450ABB37B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e90dfb61e8cdae29c2bba8d7164e17c6129390d","datavalue":{"value":{"entity-type":"item","numeric-id":2963577,"id":"Q2963577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc95b8c8c9e76cb9dff8fe8025bb2c06ef390ea","datavalue":{"value":{"amount":"+0.90492284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$F760FC96-7F1A-483B-8033-75915A56DC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4812987bde097fdfb06df6d6bef0103c75af33","datavalue":{"value":{"entity-type":"item","numeric-id":2718661,"id":"Q2718661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc4575efb9ec636332cd080cce0df8cbc35680c","datavalue":{"value":{"amount":"+0.90284026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$8918DD4F-B31F-4FF8-AC5E-4D613234CDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2285f2947e0ac7f5a6994a60bf124afbdd420fea","datavalue":{"value":{"entity-type":"item","numeric-id":5733120,"id":"Q5733120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c50d8a58f8cf9fbfb7c643dc5fcaddc5b5c87c","datavalue":{"value":{"amount":"+0.8688898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$8F278895-DB7A-4665-9CEA-58C07D3FAEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2da5e9d0723cafe891751d016f88da57f7578d","datavalue":{"value":{"entity-type":"item","numeric-id":4304058,"id":"Q4304058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43080fd032b67604d976379f93a091c3b35eca0d","datavalue":{"value":{"amount":"+0.868135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$5F6ADA99-02AD-4277-8749-DB2A36FDAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b25eb8557f1ac83a054ea484856ba8964e648e4","datavalue":{"value":{"entity-type":"item","numeric-id":3708167,"id":"Q3708167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50584598c2ca22ca16c8fd609328a006194ae4ba","datavalue":{"value":{"amount":"+0.86490095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$84AFC57F-8766-4D63-955E-FAAA5DE70880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0248ea99a9978381298135583b2b54c065a2323","datavalue":{"value":{"entity-type":"item","numeric-id":2362847,"id":"Q2362847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178df3d672b24e04e93ed2de90a7d3d6c3c64db1","datavalue":{"value":{"amount":"+0.86483437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$20DED113-6821-4943-B660-43880CF977D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b097d428401cc92f448a2742017e5ccd14f3b0f8","datavalue":{"value":{"entity-type":"item","numeric-id":1106928,"id":"Q1106928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29262dae1b9cc8027545231dc9a262c6a2ea1f8f","datavalue":{"value":{"amount":"+0.8642978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$CEE7526C-BD4C-46D8-A1EC-6AD927F3AE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174c557f1ec87b4edc564c8220b7660182ea713c","datavalue":{"value":{"entity-type":"item","numeric-id":1896935,"id":"Q1896935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310c71f6122055d60cb8a1b4ac1f1b2afe415737","datavalue":{"value":{"amount":"+0.86275023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$795812DE-FB54-4B0D-99F0-579FCC98DE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe71df1abde30c552f82295e4ab253e0b8cb1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4029051,"id":"Q4029051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71ae173d15f8ca8ee2932378627b708bc556dbb","datavalue":{"value":{"amount":"+0.8616366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$2E5BDBA0-DEBC-4909-8680-D919CBF85E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1ef7bc100f44fdc2b7010f638854eea2e653ba","datavalue":{"value":{"entity-type":"item","numeric-id":1570947,"id":"Q1570947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a7a787d03cfb558fab535997c9d4357ecc5eb6","datavalue":{"value":{"amount":"+0.86136925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431731$8455D468-B732-4740-B751-9FFAEB06AA04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2431731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2431731"}}}}}