1 problem

Computable Scott sentence conjecture. For each even $n\geq 2$, there is a computable structure $\mathcal{M}$ with a $\Pi_n$ Scott sentence but no computable $\Sigma_{2n}$ Scott sen…