It is known that an integral extension of a complete DVR is again a DVR. Is it also true that an integral extension of an Henselian DVR is again a DVR?
Thanks in advance, kindasorta
CORRECTION: As Mohan mentioned, the extension of a complete DVR is not a complete DVR but rather "just" a DVR.