2 problems

Shiota's conjecture. ${\EuScript S}$ is a Nash image of ${\mathbb R}^d$ if and only if ${\EuScript S}$ is pure dimensional and there exists an analytic path

A semialgebraic set $\EuScript T\subset\mathbb R^n$ is locally connected by analytic paths if, for every $x\in\EuScript T$ and every open semialgebraic neighborhood…