Beginning of stability theory for Polish Spaces

Abstract

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.

References in corpus (2)

• Categoricity in abstract elementary classes: going up inductive step
• Borel sets with large squares