Effective presentability of Boolean algebras of Cantor–Bendixson rank 1 (1999)

by R Downey, C Jockusch
Venue:Journal of Symbolic Logic