Year: 2019
Type: preprint
Abstract: We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, 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.
Source: arXiv (Cornell University)
Author: Johnson, Will
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
OpenAlex ID: W2944291341