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 ?
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
1 year ago