Characterizing the existence of a Borel complete expansion
| Autor: | Laskowski, Michael C., Ulrich, Douglas S. |
|---|---|
| Rok vydání: | 2021 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We develop general machinery to cast the class of potential canonical Scott sentences of an infinitary sentence $\Phi$ as a class of structures in a related language. From this, we show that $\Phi$ has a Borel complete expansion if and only if $S_\infty$ divides $Aut(M)$ for some countable model $M\models \Phi$. Using this, we prove that for theories $T_h$ asserting that $\{E_n\}$ is a countable family of cross cutting equivalence relations with $h(n)$ classes, if $h(n)$ is uniformly bounded then $T_h$ is not Borel complete, providing a converse to Theorem~2.1 of \cite{LU}. Comment: Slight edits suggested by referee included. This matches the version to be published in Fundamenta Mathematicae |
| Databáze: | arXiv |
| Externí odkaz: |
|