Definability in differential-henselian monotone fields
arXiv:1804.04254
Abstract
This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP result.
12 pages