The natural isomorphism conjecture between hyperseries and surreal numbers

Let Hy\textbf{Hy} be the field of hyperseries and No\textbf{No} the field of surreal numbers. For each hyperseries f(x)Hyf(x)\in\textbf{Hy}, consider its value f(ω)Nof(\omega)\in\textbf{No}. Natural isomorphism conjecture. There is a natural isomorphism

HyNo\textbf{Hy}\longrightarrow\textbf{No}

that sends every hyperseries f(x)f(x) to its value f(ω)f(\omega). The conjecture reflects the close structural analogy between hyperseries and surreal numbers; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Matthias Aschenbrenner, Lou van den Dries and Joris van der Hoeven, “On numbers, germs, and transseries”, arXiv:1711.06936 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.