Finite burden in multivalued algebraically closed fields
Abstract
We prove that an expansion of an algebraically closed field by n arbitrary valuation rings is NTP2, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory of algebraically closed fields with n valuation rings is decidable.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.