Forking and Dividing in Fields with Several Orderings and Valuations

2020/01/08 by Johnson, Will
#03C45 #03C60 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2001.02415

Abstract

We consider existentially closed fields with several orderings, valuations, and p-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 pCF.

Related

• Forking in valued fields and related structures
• Forking in NTP₂ theories
• Finite burden in multivalued algebraically closed fields
• Forking, Imaginaries and other features of ACFG
• Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups