Title: Effective Enumeration of Classes in a \sum_1^1 Equivalence Relation

Authors: John Burgess

Issue: Volume 28 (1979), Issue 3, 353-364

Abstract: pdf

file available