On semialgebraic points of definable sets
Volume 44 / 1998
Banach Center Publications 44 (1998), 189-193
DOI: 10.4064/-44-1-189-193
Abstract
We prove that the semialgebraic, algebraic, and algebraic nonsingular points of a definable set in o-minimal structure with analytic cell decomposition are definable. Moreover, the operation of taking semialgebraic points is idempotent and the degree of complexity of semialgebraic points is bounded.
