Jahnke's NIPn henselian expansion conjecture

From papers

Let KK be a field whose pure field theory is NIPn_n, and let vv be a henselian valuation on KK. Write (K,v)(K,v) for the resulting valued field. Jahnke's NIPn_n henselian expansion conjecture. Then (K,v)(K,v) is NIPn_n as a valued field. The source presents this as the Henselian Expansion Conjecture and explains that, combined with Shelah's conjecture, it would imply the NIPn_n Fields Conjecture. Its resolution is not specified.

Progress summary

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

Sources & referencesView supporting material

Primary source

Blaise Boissonneau, “NIPn CHIPS”, arXiv:2401.04697 (2024).

Additional references

2 papers in this index state this conjecture (2021–2024). The statement above is taken from the most recent of them; the others are arXiv:2108.12678.

Solutions 0

No solutions have been posted yet.