A Rank One Cohesive Set

&
Annals of Pure and Applied Logic 68 (2):161-171 (1994)
  Copy   BIBTEX

Abstract

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. The proof uses the Δ03 method in the context of the construction of a Π01 class.

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)90072-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.
A contrast to the low basis theorem.David Lippe - 2002 - Annals of Pure and Applied Logic 117 (1-3):203-207.
Cohesive sets and rainbows.Wei Wang - 2014 - Annals of Pure and Applied Logic 165 (2):389-408.
Computable symbolic dynamics.Douglas Cenzer, S. Ali Dashti & Jonathan L. F. King - 2008 - Mathematical Logic Quarterly 54 (5):460-469.
Minimal extensions of Π01 classes.Douglas Cenzer & Farzan Riazati - 2005 - Mathematical Logic Quarterly 51 (2):206-216.
Rank, join, and Cantor singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.
Computable symbolic dynamics.Douglas Cenzer, S. Dashti & Jonathan F. King - 2008 - Mathematical Logic Quarterly 54 (5):460-469.

Analytics

Added to PP
2014-01-16

Downloads
30 (#787,710)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
On $\Pi^0_1$ classes and their ranked points.Rod Downey - 1991 - Notre Dame Journal of Formal Logic 32 (4):499-512.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.

View all 7 references / Add more references