Complexity of Scott sentences
Rachael Alvir, Julia F. Knight, Charles F. D. McCoy · Fundamenta Mathematicae · 2020
We give effective versions of some results on Scott sentences. Effectivizing a result of Montalbán (2015), we show that if $\mathcal {A}$ has a computable $\Pi _\alpha $ Scott sentence, then the automorphism orbits of all tuples are defined by formulas th