Forking and Dividing in Fields with Several Orderings and Valuations
Logic
2020-01-09 v1
Abstract
We consider existentially closed fields with several orderings, valuations, and -valuations. We show that these structures are NTP of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and CF.
Keywords
Cite
@article{arxiv.2001.02415,
title = {Forking and Dividing in Fields with Several Orderings and Valuations},
author = {Will Johnson},
journal= {arXiv preprint arXiv:2001.02415},
year = {2020}
}
Comments
41 pages; dissertation chapter