A Rank one Cohesive Set

In this paper, we prove that there is a Π01 class in 2ω with a unique nonrecursive member, with that member a cohesive set. This solves an open question from Cenzer (1993). The proof uses the Δ03 method in the context of the construction of a Π01 class.

[1]  Rodney G. Downey,et al.  On the Cantor-Bendixon Rank of Recursively Enumerable Sets , 1993, J. Symb. Log..

[2]  Stephen G. Simpson,et al.  Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..

[3]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[4]  R. Soare,et al.  Π⁰₁ classes and degrees of theories , 1972 .

[5]  Rodney G. Downey.  On Π10 Classes and their Ranked Points , 1991, Notre Dame J. Formal Log..

[6]  A. Nerode,et al.  Effective content of field theory , 1979 .

[7]  Rick L. Smith,et al.  Effective aspects of profinite groups , 1981, Journal of Symbolic Logic.

[8]  Carl G. Jockusch,et al.  Relationships between reducibilities , 1969 .

[9]  Peter Clote,et al.  Members of countable π10 classes , 1986, Ann. Pure Appl. Log..

[10]  Douglas Cenzer,et al.  Countable Thin Pi01 Classes , 1993, Ann. Pure Appl. Log..