A valued field is said to be algebraic maximal if all its algebraic extension have either a bigger value group or a bigger residue field.
Do you know for which field this is a first order property ? Tanks.
A valued field is said to be algebraic maximal if all its algebraic extension have either a bigger value group or a bigger residue field. Do you know for which field this is a first order property ? Tanks. 

