Defectlessness of henselian valuations in elementary equivalents of divisible-tame type fields
Determine whether, for any non-henselian, t-henselian field K of divisible-tame type of characteristic p that is not separably closed, every elementary equivalent field L ≡ K that admits a non-trivial henselian valuation v satisfies that the valued field (L,v) is defectless.
References
Question 6.2.10. Let K be a non-henselian, t-henselian of divisible-tame type field of characteristic p which is not separably closed. Suppose that L ≡ K admits a non-trivial henselian valuation. Must (L,v ) be Lefectless?
— Definable henselian valuations in positive residue characteristic
(2401.06884 - Ketelsen et al., 2024) in Question 6.2.10, Section 6.2