On the (non) superstable part of the free group

Chloé Perin, Rizos Sklinos

In this short note we prove that a definable set $X$ over ${\mathbb{F}}_n$ is superstable only if $X({\mathbb{F}}_n)=X({\mathbb{F}}_{\omega })$.