Residue Field Domination in Real Closed Valued Fields
Residue Field Domination in Real Closed Valued Fields
We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field, over the value group, both in the pure field and in the …