The generalized henselianity conjecture for NIP integral domains

About 7 years old · traced to

Let RR be a commutative integral domain whose theory has NIP.

Generalized henselianity conjecture. The ring RR is a henselian local ring.

The source presents this as a generalization of the henselianity conjecture and notes that it is equivalent to corresponding formulations for NIP integral domains and NIP rings. It remains open.

References

Primary source

Will Johnson, “Translating between NIP integral domains and topological fields”, arXiv:2504.10927 (2025).

Additional references

4 papers in this index state this conjecture (2019–2025). The statement above is taken from the most recent of them; the others are arXiv:2302.03315, arXiv:1911.04727, arXiv:1910.05932.

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.