"Index sets and Scott sentences."

Julia F. Knight, Charles F. D. McCoy (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics