Abstract
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 geometric sorts. These results characterize forking and þ-forking in real closed valued fields (and also algebraically closed valued fields). We lay some groundwork for extending these results to a power-bounded -convex theory.
Citation
Clifton Ealy. Deirdre Haskell. Jana Maříková. "Residue Field Domination in Real Closed Valued Fields." Notre Dame J. Formal Logic 60 (3) 333 - 351, August 2019. https://doi.org/10.1215/00294527-2019-0015
Information