Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 530

Preprint Number 530

Previous Next Preprint server

530. Michael C. Laskowski and Saharon Shelah
Borel completeness of some aleph_0 stable theories

Submission date: 2 November 2012.


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 complete. Using this, we conclude that an aleph_0-stable theory has 2^lambda pairwise non-L(infinity,aleph_0) equivalent models of size lambda for all infinite cardinals lambda if and only if T either has eni-DOP or is eni-deep.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1211.0558: pdf, ps.

Last updated: November 6 2012 18:06 Please send your corrections to: