{"entities":{"Q372613":{"pageid":374380,"ns":120,"title":"Item:Q372613","lastrevid":61384986,"modified":"2026-04-10T23:01:46Z","type":"item","id":"Q372613","labels":{"en":{"language":"en","value":"Toward a model theory for transseries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214283"}},"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":"Q372613$781FCC18-C7F4-4E44-A35A-E0565D17982B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27051e879eaf421e24e47b4c20ce878c90f902eb","datavalue":{"value":{"text":"Toward a model theory for transseries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372613$9052C51F-572D-4CD7-AD27-AB5DC7C56B14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a37648a6405dd77652567500a09a5d222185ddd","datavalue":{"value":"1314.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$F6F58DAA-4048-41DB-974E-DDF87D4CE8E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d31d3e2644798fba95c729c8d25037d020b21f6","datavalue":{"value":"10.1215/00294527-2143898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$B9C546A3-734F-4EA8-97AB-4CF256960719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a168a73ea7ac1a4b7829d675a72bcddf1720ec3f","datavalue":{"value":{"entity-type":"item","numeric-id":281482,"id":"Q281482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$35E105F5-9296-4313-B4AD-CEBB9A7D84A3","rank":"normal"},{"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":"Q372613$15AEF8D8-1BB0-4718-BDA3-F1C4D1D66087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$65DAF57E-63D1-411E-B372-ECE03F039C84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$EC02FE21-4CC4-467F-A9FF-C7DBE5A510DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3a25b4485e8891620915ff9cb8ef365b15ff9c8","datavalue":{"value":{"time":"+2013-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372613$7E1949BC-FBFB-49F3-AC3C-6EF449FF2B3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c678bd804fd5794bb4b51bcbcf8255e490b9f1b5","datavalue":{"value":"https://arxiv.org/abs/1112.5237","type":"string"},"datatype":"url"},"type":"statement","id":"Q372613$C8AECF8D-EF80-43A2-B2CE-7422792C6443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4421e988b49f2bac846777bf0e1e49f56d5cbb48","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1376053768","type":"string"},"datatype":"url"},"type":"statement","id":"Q372613$6F607B95-0C97-499B-A05C-5943452751E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a2118c292dc08a002b8680010ffeab026feb65b","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$73ED746B-73AC-4E30-A05A-7E65CA6B0E3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$DEE00DB0-E4E7-4F43-A65F-59CB18DF41D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$BB8C0B30-D0A1-4FF5-800A-C1891B278B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"257dc95ce04794f12f639598acfcf1fbb4136f82","datavalue":{"value":"26A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$0E5BAECE-B342-49EE-92B1-A5445B2CCF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$67A0732C-1C7E-4181-ADA0-959A074AC174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5a656b1fa1def2e956caad5caf957a5bfc0bcf3","datavalue":{"value":"6214283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$3E1514F8-1C5B-439F-BE5D-880D7C83A646","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d84b62177d7615333623a9b236bf9245b0538e","datavalue":{"value":"transseries","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$2F801138-F34D-4A63-BC5E-808C99F37708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e96d824441d1ae7d054a5f4dad03b20bd72f78c","datavalue":{"value":"Hardy fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$3F009424-0808-463E-8D4E-EFA77F11EAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8945963b112b4c0bfb0ecad3105ee6ae8620c8f9","datavalue":{"value":"differential fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$E5529B79-091D-4C8C-A6A0-B1A4E628D8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c86c2b5ac1bc83ee55615fdce96a707a66aa45f","datavalue":{"value":"model-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$DBD7DD7D-4752-46B7-9CFC-4A5B901DC154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaf92d4955264f018294672b609d842f36d4ed","datavalue":{"value":"NIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$049579E9-34C3-4156-BD0F-482A666EA184","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":"Q372613$6374D4EA-4983-481C-A051-693F4085E7DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1cb5ad405462ad3dce06bfcfba4165aca4cb150","datavalue":{"value":"W3100430713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372613$0F085674-7E2B-47CA-AD91-BB85D7DA786E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189451e9ac63edd9a342def6a6c54867e4cd121","datavalue":{"value":{"entity-type":"item","numeric-id":1972038,"id":"Q1972038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$69629D09-BF8D-46DA-B7EB-CA4FCF11D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670e3db620982a1480adfb56c17e44077bf7a274","datavalue":{"value":{"entity-type":"item","numeric-id":1433429,"id":"Q1433429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$6C9A4BC8-DA61-46EA-AF07-90793827F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74274fe2b8c4a43e891ea43bd46d3a944a88b22","datavalue":{"value":{"entity-type":"item","numeric-id":5314822,"id":"Q5314822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$C99AA662-0DBF-45B4-80B7-859EF0AE9790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000253c6e6d8731612ab3aaccb83a19c272716c6","datavalue":{"value":{"entity-type":"item","numeric-id":1772249,"id":"Q1772249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$FEC24A9C-359B-4A5C-A17E-80B34902DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b379df9765cb6d0eaa2f831dc7c6e8d37b359d5f","datavalue":{"value":{"entity-type":"item","numeric-id":813313,"id":"Q813313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$8A4836DF-B732-4DD9-80A0-3F504DD73EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$BC83BA10-22FA-4B00-B36E-A62099451E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894c17ae9205aa7beebd8d1d32dddc5738f66d47","datavalue":{"value":{"entity-type":"item","numeric-id":2547890,"id":"Q2547890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$328440EF-FF1B-4C35-ADD1-F91994EC8D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa5f0207be6da6870c569db9617500d287391b7","datavalue":{"value":{"entity-type":"item","numeric-id":3069636,"id":"Q3069636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$2CDC8C14-19F7-4B56-9ABC-D9DD2D64C887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb3582dd018fcbc2996ae4270ff3ca59786dc43","datavalue":{"value":{"entity-type":"item","numeric-id":5294011,"id":"Q5294011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$DEBCF036-95FF-4AE5-A366-548F1CF4C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb90e6d4fd7ce174c11586832e4b31522331deab","datavalue":{"value":{"entity-type":"item","numeric-id":793857,"id":"Q793857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$E21750B7-E62C-47F7-BC72-A14FDF9F4236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756be779b673014677623438a6e893e989f30b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3028993,"id":"Q3028993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$8ACCB1BA-C48F-42E2-803E-ABD2EE9C5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a74385ddd541daf25f2e6981ea1282ee1a89a12","datavalue":{"value":{"entity-type":"item","numeric-id":1053752,"id":"Q1053752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$BA6EEA7B-E47B-4FC0-8868-D88A96438531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b8719a388b9247990eb383d851860792c5664c","datavalue":{"value":{"entity-type":"item","numeric-id":541375,"id":"Q541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$FCA4D843-673B-42B8-8892-6D842B85A8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdb3abf522aac35fca1027d6526211c5b659c9","datavalue":{"value":{"entity-type":"item","numeric-id":5531082,"id":"Q5531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$6EE4EAA5-B685-4A9D-B6A8-D6ECE27D28A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca2a8117263a62a9479cc65dfed134465826bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1935863,"id":"Q1935863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$ACCFB350-DB0E-4929-8DEA-96E3881630F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9abd5dba3a3cb5c00c77d20a6e699c15cef410","datavalue":{"value":{"entity-type":"item","numeric-id":636296,"id":"Q636296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$0CFBDF9F-9D83-45F3-8D6B-0120EB50EC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77feaf7347d0eb1065f43429b930c6b4bc58872","datavalue":{"value":{"entity-type":"item","numeric-id":4112233,"id":"Q4112233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$A4DF49F7-C99C-4A66-B567-521E13FBE0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$24E96DEC-4FFB-4746-B725-DB66B8F1AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92731ed3ab83c91e6b5b0014da706998e939c52","datavalue":{"value":{"entity-type":"item","numeric-id":4372399,"id":"Q4372399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$43982542-B77C-4FA9-808F-6C04528BF79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d897c7fb49cc26df37e4daef3bf582be66351dc","datavalue":{"value":{"entity-type":"item","numeric-id":4524293,"id":"Q4524293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$9C3C80B8-12E4-48C2-A986-66B352899DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac06f331e73587fc412a5b98e737f640ed87fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4198859,"id":"Q4198859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$39BB8C78-E80D-4BE6-B5ED-F97680D3CD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2a173641865eb2f789f8e0768d6f889c787fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1255050,"id":"Q1255050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$97C3E72B-50C1-408C-B164-71CD449BDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c112e4eed1093bbe0d1d696f2f35c24048b647","datavalue":{"value":{"entity-type":"item","numeric-id":3929845,"id":"Q3929845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$C590B92D-25E9-4276-A9AB-7E48DC538854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232ccf0c86f29f086a8b83af7e33d0e1a17709b0","datavalue":{"value":{"entity-type":"item","numeric-id":3320495,"id":"Q3320495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$C0D08012-D217-47F1-9654-F1ED7DAD3942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f22b26bd34f21bc227b126e50a44e3adf7ac6b","datavalue":{"value":{"entity-type":"item","numeric-id":1892497,"id":"Q1892497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$57F59942-011F-4CBF-87E3-D190B0520C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d3669e4bcf876e6db3775df1c34e4a18a68355","datavalue":{"value":{"entity-type":"item","numeric-id":2710606,"id":"Q2710606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$098797A0-1D3B-4F24-9663-CA766023778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51159239e04b5bddfbef23846d8c30fe25e60153","datavalue":{"value":{"entity-type":"item","numeric-id":4767312,"id":"Q4767312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$8E74D719-0AE2-4F64-8C01-9C24821E67AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b393bc737aa7b261523890de5d9bdacc3770e2","datavalue":{"value":{"entity-type":"item","numeric-id":4836044,"id":"Q4836044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$09750C79-1A36-49CB-AE60-60D012D1B457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef40a759a9e6473763790ea683f764cc6951870","datavalue":{"value":{"entity-type":"item","numeric-id":4399225,"id":"Q4399225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$409BFA9F-4267-4164-BF9D-18F4A330BE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4784fb7fe5107bfd26b92a0c760db0dae7e45f58","datavalue":{"value":{"entity-type":"item","numeric-id":5942884,"id":"Q5942884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$F5EA5D90-F619-4113-B1B0-CB1A54510FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6414ff420a2def819402ca77554aaa97f41a3bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1347348,"id":"Q1347348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$BE7933E1-2CC9-4469-B66A-C1AC3CEFFCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2dca7bcad1fe8cf6440607a70add9e0d69f009","datavalue":{"value":{"entity-type":"item","numeric-id":2431731,"id":"Q2431731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$F6E079BD-1521-4D69-9CA6-DC2354B4DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372613$A24123AB-BF00-443E-9D00-CC4A3E87BEA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb5c296fb99e6911c8a9077b7fbbfbfccaa472d9","datavalue":{"value":"This is a very lucid and enlightening survey of the state of the art in the model theory of the field of transseries, by three of the main researchers in this fascinating topic. The differential field \\(\\mathbb T\\) of transseries is an ordered field extensions of the real field \\(\\mathbb R\\) and is a kind of universal domain for asymptotic real differential algebra. It has appeared in many different and rich contexts, e.g. Hilbert's sixteenth problem. The main conjecture is that the first-order theory of the ordered differential field \\(\\mathbb T\\) is model-complete and the model-companion of the theory of \\(H\\)-fields with small derivation.NEWLINENEWLINE Since the appearance of this paper, the authors have announced further results pointing to the conjecture. I will only mention a quantifier elimination similar to the one conjectured at the end of the present paper, with unary predicates \\(\\Omega(a), \\Lambda(a)\\) defined as follows. We have as elements of \\(\\mathbb T\\) the iterated logarithms \\(\\ell_n\\), with \\(\\ell_0=x\\), \\(\\ell_{n+1}=\\log \\ell_n\\). With these, define \\(\\Lambda(a) \\iff a < \\ell_0^{-1} +\\ell_0^{-1}\\ell_1^{-1}+\\ldots+\\ell_0^{-1}\\ell_1^{-1}\\ldots \\ell_n^{-1}\\) for some natural number \\(n\\), and \\(\\Omega(a) \\iff a < \\ell_0^{-2} +\\ell_0^{-2}\\ell_1^{-2}+\\ldots+\\ell_0^{-2}\\ell_1^{-2}\\ldots \\ell_n^{-2}\\) for some natural number \\(n\\), and it turns out that \\(\\Omega(a) \\iff 4y''+ay=0\\) for some \\(y\\neq 0\\).NEWLINENEWLINE The authors take us on a tour of the subject, starting with the field of Laurent series \\(\\mathbb R((x^{-1}))\\) in the variable \\(x^{-1}\\) as a differential ordered field and aiming at removing its defects of having neither an antiderivative for \\(x^{-1}\\) (viz. \\(\\log x\\)) nor a reasonable exponentiation function \\(f\\mapsto \\exp(f)\\), to the current state of the ambitious conjecture above. The text is accessible to nonspecialists. The authors have succeeded in their aim that only rudimentary knowledge of model theory, valuations and differential fields is necessary. The paper is enhanced with insightful examples, and succeeds to convey the richness of the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372613$046D9184-3A75-43A8-A79F-ADB59B08008A","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":"420116db0284e45d03d72836e4b1b6383884f037","datavalue":{"value":{"amount":"+0.8820304870605469","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":"Q372613$E847736A-8354-40DB-9DB8-D5266F94D072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47a4ed162ddf724cfdb3465330e973574a712b2","datavalue":{"value":{"entity-type":"item","numeric-id":5099445,"id":"Q5099445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0aafc01c169bdd352b3e2fabefb719a495499e","datavalue":{"value":{"amount":"+0.85481858253479","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":"Q372613$81F68FEB-0650-4943-9699-C3B6F71226D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8390544310ec739e5498a694ebe0432c6daac4","datavalue":{"value":{"entity-type":"item","numeric-id":3566603,"id":"Q3566603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcf79e9b9d08125d471a497a5557626deec988d","datavalue":{"value":{"amount":"+0.8488914966583252","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":"Q372613$43F0E55C-8FF0-47A8-A287-76CCF6E1D913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e9bb74368653e9e751bb25363605914905cc66","datavalue":{"value":{"entity-type":"item","numeric-id":2431731,"id":"Q2431731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e270c073cc980e9eb61997051411ccd41e6c7e","datavalue":{"value":{"amount":"+0.8385919332504272","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":"Q372613$43B7123C-5138-4EB3-A25E-92B5010B2960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276df8c0e4ccd05cf296ee93c106692993b12413","datavalue":{"value":{"entity-type":"item","numeric-id":541375,"id":"Q541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fc7289f9ca0a39ce6b3daff04ebb08201ea2df","datavalue":{"value":{"amount":"+0.8199878334999084","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":"Q372613$D86872FA-5B1C-4304-B8A4-620BEE90F894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward a model theory for transseries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_a_model_theory_for_transseries"}}}}}