The generalized henselianity conjecture for NIP integral domains

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.

Sources & referencesView supporting material

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.