This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics Low‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Low This article has been rated as Low-priority on the project's priority scale.

There is probably an error in the wiki page. well-ordered doesn't imply that the sum is finite (finitely many summands).

Jan Burse (talk) 23:01, 22 July 2018 (UTC)[reply]

The result is actually true: if for some ${\displaystyle e}$ there are infinitely many ordered pairs ${\displaystyle (e',e'')}$ with ${\displaystyle f(e'),g(e'')\neq 0}$ and ${\displaystyle e'+e''=e}$, then since the supports of ${\displaystyle f,g}$ are well-ordered, there must be a srictly increasing such sequence of for instance elements ${\displaystyle e'}$ for ${\displaystyle f}$, which implies the existence of an infinite decreasing sequence of corresponding elements ${\displaystyle e''=e-e'}$ for ${\displaystyle g}$, contradicting the hypothesis that the support of ${\displaystyle g}$ is well-ordered. What is harder to justify is that the support of ${\displaystyle fg}$ is well-ordered, so maybe a reference should be added there. --Vincent Bagayoko (talk) 22:10, 11 August 2018 (UTC)[reply]

In the section Examples, transseries are mentionned with the comment

"The construction of ${\displaystyle \mathbb {T} }$ resembles (but is not literally) ${\displaystyle T_{0}=\mathbb {R} }$, ${\displaystyle T_{n+1}=\mathbb {R} \left[\left[\varepsilon ^{T_{n}}\right]\right]}$."

I understand that transseries are not constructed like that. Yet it occurs to me that if at each step ${\displaystyle n}$, one restricts the length of the sums to be below ${\displaystyle \omega _{n}}$ where ${\displaystyle \omega _{0}=1}$ and ${\displaystyle \forall p\omega _{p+1}=\omega ^{\omega _{p}}}$, then one obtains a field naturally isomorphic to ${\displaystyle \mathbf {No} (\varepsilon _{0})}$: surreal numbers with birthdate below ${\displaystyle \varepsilon _{0}}$. This is an exponential differential field (with total exp and log), so why couldn't the unbounded length construction also be, and actually be naturally isomorphic to the field of EL (not LE) transseries? I wonder if that is the case... — Preceding unsigned comment added by Vincent Bagayoko (talk • contribs) 22:30, 5 September 2018 (UTC) Vincent Bagayoko (talk) 06:28, 6 September 2018 (UTC)[reply]