Search results

# All sets $M^k_\pm,M^k_0$ are semialgebraic (defined by finitely many polynomial equalities and inequalities);

...a local dynamical system is a subspace of germs defined by finitely many [[semialgebraic]] constraints on the initial Taylor coefficients of the germ.