"Some Applications of Positive Formulas in Descriptive Set Theory and Logic."

Stephen Dyck (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics