The generalized henselianity conjecture for NIP integral domains
Generalized henselianity conjecture. The ring RRR is a henselian local ring.
MathDB