An effectively closed set with no join property

Mathematical Logic Quarterly 67 (3):313-320 (2021)
  Copy   BIBTEX

Abstract

In this paper, we establish a relationship between the join property and Turing degrees of members of effectively closed sets in Cantor space, i.e., classes. We first give a proof of the observation that there exists a non‐empty special class in which no join of two members computes the halting set. We then prove the existence of a non‐empty special class such that no member satisfies the join property, where a degree satisfies the join property if for all non‐zero there exists such that.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

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

Through your library

Similar books and articles

Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.
Some remarks on Baire's grand theorem.R. Camerlo & J. Duparc - 2017 - Archive for Mathematical Logic 57 (3-4):195–201.
Some remarks on Baire’s grand theorem.Riccardo Camerlo & Jacques Duparc - 2018 - Archive for Mathematical Logic 57 (3-4):195-201.
A minimal pair joining to a plus cupping Turing degree.Dengfeng Li & Angsheng Li - 2003 - Mathematical Logic Quarterly 49 (6):553-566.
Rank, join, and Cantor singletons.Jim Owings - 1997 - Archive for Mathematical Logic 36 (4-5):313-320.
Dominating projective sets in the Baire space.Otmar Spinas - 1994 - Annals of Pure and Applied Logic 68 (3):327-342.

Analytics

Added to PP
2023-08-30

Downloads
17 (#1,147,714)

6 months
6 (#851,951)

Historical graph of downloads
How can I increase my downloads?