numerically effective cotangent bundle; degree algebraic points; Tarski system; algebraic nonsingular points; definable set; o-minimal structure; analytic cell decomposition; semialgebraic points; degree of complexity 