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.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
|
|||||||||
|
