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

by Rod Downey, Carl G. Jockusch, Jr.
Venue:Journal of Symbolic Logic