2000 character limit reached
Forking and Dividing in Fields with Several Orderings and Valuations
Published 8 Jan 2020 in math.LO | (2001.02415v1)
Abstract: We consider existentially closed fields with several orderings, valuations, and $p$-valuations. We show that these structures are NTP$_2$ 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 $p$CF.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.