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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.