Classification conjecture for strongly NIP ordered fields

Let (K,<)(K,<) be a strongly NIP ordered field. An ordered field is almost real closed if it admits a henselian valuation whose residue field is real closed.

Classification conjecture. Any strongly NIP ordered field (K,<)(K,<) is almost real closed.

The paper states that this conjecture is equivalent to the ordered-field Shelah–Hasson conjecture. The supplied text does not report a proof or refutation, so its resolution remains open here.

Sources & referencesView supporting material

Primary source

Lothar Sebastian Krapp, Salma Kuhlmann and Gabriel Lehéricy, “Strongly NIP almost real closed fields”, arXiv:2010.14770 (2021).

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.