Borel completeness of some ℵ<sub>0</sub>-stable theories
Borel completeness of some ℵ<sub>0</sub>-stable theories
We study $\aleph _0$-stable theories, and prove that if $T$ either has eni-DOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of $\lambda $-Borel completeness and prove that such theories are $\lambda $-Borel