A computability theoretic equivalent to Vaught's conjecture

We prove that, for every theory $T$ which is given by an ${\mathcal L}_{\omega_1,\omega}$ sentence, $T$ has less than $2^{\aleph_0}$ many countable models if and only if we have that, for every $X\in 2^\omega$ on a cone of Turing degrees, every $X$-hyperarithmetic model of $T$ has an $X$-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

On the Invariance of G\"odel's Second Theorem with regard to Numberings

The prevalent interpretation of G\"odel's Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of the underlying mathematical theorem depends on several arbitrary formalisation choices. In this paper I examine the theorem's dependency regarding G\"odel numberings. I introduce deviant numberings, yielding provability predicates satisfying L\"ob's conditions, which result in provable consistency sentences. According to the main result of this paper however, these "counterexamples" do not refute the theorem's prevalent interpretation, since once a natural class of admissible numberings is singled out, invariance is maintained.Comment: Forthcoming in The Review of Symbolic Logi

Independence, Relative Randomness, and PA Degrees

We study pairs of reals that are mutually Martin-L\"{o}f random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$, the \emph{independence spectrum} of $A$, the set of all $B$ so that there exists a probability measure $\mu$ so that $\mu\{A,B\} = 0$ and $(A,B)$ is $\mu\times\mu$-random. We prove that if $A$ is r.e., then no $\Delta^0_2$ set is in the independence spectrum of $A$. We obtain applications of this fact to PA degrees. In particular, we show that if $A$ is r.e.\ and $P$ is of PA degree so that $P \not\geq_{T} A$, then $A \oplus P \geq_{T} 0'$