English

A computability theoretic equivalent to Vaught's conjecture

Logic 2013-06-07 v2

Abstract

We prove that, for every theory TT which is given by an Lω1,ω{\mathcal L}_{\omega_1,\omega} sentence, TT has less than 202^{\aleph_0} many countable models if and only if we have that, for every X2ωX\in 2^\omega on a cone of Turing degrees, every XX-hyperarithmetic model of TT has an XX-computable copy. We also find a concrete description, relative to some oracle, of the Turing-degree spectra of all the models of a counterexample to Vaught's conjecture.

Keywords

Cite

@article{arxiv.1206.5682,
  title  = {A computability theoretic equivalent to Vaught's conjecture},
  author = {Antonio Montalban},
  journal= {arXiv preprint arXiv:1206.5682},
  year   = {2013}
}
R2 v1 2026-06-21T21:24:58.711Z