English

Borel Complexity and the Schr\"oder-Bernstein Property

Logic 2024-07-16 v4

Abstract

We introduce a new invariant of Borel reducibility, namely the notion of thickness; this associates to every sentence Φ\Phi of Lω1ω\mathcal{L}_{\omega_1 \omega} and to every cardinal λ\lambda, the thickness τ(Φ,λ)\tau(\Phi, \lambda) of Φ\Phi at λ\lambda. As applications, we show that all the Friedman-Stanley jumps of torsion abelian groups are non-Borel complete. We also show that under the existence of large cardinals, if Φ\Phi is a sentence of Lω1ω\mathcal{L}_{\omega_1 \omega} with the Schr\"{o}der-Bernstein property (that is, whenever two countable models of Φ\Phi are biembeddable, then they are isomorphic), then Φ\Phi is not Borel complete.

Keywords

Cite

@article{arxiv.1810.00493,
  title  = {Borel Complexity and the Schr\"oder-Bernstein Property},
  author = {Danielle Ulrich},
  journal= {arXiv preprint arXiv:1810.00493},
  year   = {2024}
}
R2 v1 2026-06-23T04:23:47.274Z