  We consider stability theory for Polish spaces and more generally for
definable structures (say, with elements of a set of reals). We clarify by
proving some equivalent conditions for $\aleph_0$-stability. We succeed to
prove existence of indiscernibles under reasonable conditions; this gives
strong evidence that such a theory exists.
