加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本