Finite burden in multivalued algebraically closed fields
Logic
2019-05-14 v1
Abstract
We prove that an expansion of an algebraically closed field by arbitrary valuation rings is NTP, 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 valuation rings is decidable.
Cite
@article{arxiv.1905.04991,
title = {Finite burden in multivalued algebraically closed fields},
author = {Will Johnson},
journal= {arXiv preprint arXiv:1905.04991},
year = {2019}
}
Comments
40 pages