Finite burden in multivalued algebraically closed fields

MaRDI QIDQ6318640zbMATH OpenFDO

Authors Will Johnson

Publication date 13 May 2019

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45)

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.

This page was built for publication: Finite burden in multivalued algebraically closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6318640)