Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ulrich, Douglas S."'
A proof of the Borel completeness of torsion free abelian groups is presented. This proof differs considerably from the approach of Paolini-Shelah.
Externí odkaz:
http://arxiv.org/abs/2202.07452
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_\in
Externí odkaz:
http://arxiv.org/abs/2109.06140
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel co
Externí odkaz:
http://arxiv.org/abs/2103.09724
Publikováno v:
Journal of Symbolic Logic; March 2023, Vol. 88 Issue: 1 p418-426, 9p
