Analytic cell decomposition of sets definable in the structure $ℝ_{exp}$
Volume 59 / 1994
Annales Polonici Mathematici 59 (1994), 255-266
DOI: 10.4064/ap-59-3-255-266
Abstract
We prove that every set definable in the structure $ℝ_{exp}$ can be decomposed into finitely many connected analytic manifolds each of which is also definable in this structure.
