Scott Ranks of Classifications of the Admissibility Equivalence Relation

William Chan, Matthew Harrison-Trainor, Andrew Marks

Let $\mathcal{L}$ be a recursive language. Let $S(\mathcal{L})$ be the set of $\mathcal{L}$-structures with domain $\omega$. Let $\Phi :{}^{\omega }2\to S(\mathcal{L})$ be a ${\Delta }_1^1$ funct…