Mild manifolds and a non-standard Riemann existence theorem

Abstract

Let \({\mathcal{R}}\) be an o-minimal expansion of a real closed field R, and K be the algebraic closure of R. In earlier papers we investigated the notions of \({\mathcal{R}}\)-definable K-holomorphic maps, K-analytic manifolds and their K-analytic subsets. We call such a K-manifold mild if it eliminates quantifers after endowing it with all it K-analytic subsets. Examples are compact complex manifolds and non-singular algebraic curves over K.