Harrington, Leo; Soare, Robert I. Definable properties of the computably enumerable sets. (English) Zbl 0928.03051 Ann. Pure Appl. Logic 94, No. 1-3, 97-125 (1998). Reviewer: Jerzy Mycka (Lublin) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod; Harrington, Leo There is no fat orbit. (English) Zbl 0858.03043 Ann. Pure Appl. Logic 80, No. 3, 277-289 (1996). Reviewer: J.S.Ullian (St.Louis) MSC: 03D25 03D30 × Cite Format Result Cite Review PDF Full Text: DOI