pith. sign in

arxiv: 1211.0558 · v3 · pith:45DQELOEnew · submitted 2012-11-02 · 🧮 math.LO

Borel completeness of some aleph₀ stable theories

classification 🧮 math.LO
keywords alephlambdastabletheoriesborelcompletecompletenesseither
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.