Jahnke's NIPn henselian expansion conjecture

At least 4 years old · documented by

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.

References

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.

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.