Showing 1–1 of 1 results for author: Mangraviti, F

A descriptive Main Gap Theorem

Authors: Francesco Mangraviti, Luca Motto Ros

Abstract: Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^κ_T$ on its models of size $κ$, for $κ$ any cardinal satisfying $κ^{< κ} = κ> 2^{\aleph_0}$. This is achieved by establishing a link between said rank and the $\mathcal{L}_{\infty κ}$-Scott h… ▽ More Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^κ_T$ on its models of size $κ$, for $κ$ any cardinal satisfying $κ^{< κ} = κ> 2^{\aleph_0}$. This is achieved by establishing a link between said rank and the $\mathcal{L}_{\infty κ}$-Scott height of the $κ$-sized models of $T$, and yields to the following descriptive set-theoretical analogue of Shelah's Main Gap Theorem: Given a countable complete first-order theory $T$, either $\cong^κ_T$ is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is $κ^+ > \aleph_1$), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah's theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible (Borel) complexities of $\cong^κ_T$, and provide a characterization of categoricity of $T$ in terms of the descriptive set-theoretical complexity of $\cong^κ_T$. △ Less

Submitted 6 April, 2020; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: 34 pages; added comments on topological smoothness for isomorphism relations over countable models and on the classification of non-complete theories; accepted for publication on the Journal of Mathematical Logic

MSC Class: 03E15; 03C45