2018/04/11 by Hakobyan, Tigran
#03B25 #03C10 #03C65 #12L12 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1804.04254
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.