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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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.
Wtt-degrees and t-degrees of R.e. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
Compactness in first order Łukasiewicz logic.N. Tavana, M. Pourmahdian & F. Didehvar - 2012 - Logic Journal of the IGPL 20 (1):254-265.
Interpolation property for bicartesian closed categories.Djordje Čubrić - 1994 - Archive for Mathematical Logic 33 (4):291-319.
The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
Algebraically closed structures in positive logic.Mohammed Belkasmi - 2020 - Annals of Pure and Applied Logic 171 (9):102822.
Symmetries between two Ramsey properties.Lorenz Halbeisen - 1998 - Archive for Mathematical Logic 37 (4):241-260.
Commons, Communes, and Freedom.Harrison Frye - 2022 - Politics, Philosophy and Economics 21 (2):228-244.

Analytics

Added to PP
2023-08-30

Downloads
11 (#1,130,421)

6 months
7 (#419,635)

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

Choice classes.Ahmet Çevik - 2016 - Mathematical Logic Quarterly 62 (6):563-574.
A Minimal Pair of Π0 1 Classes.Carl G. Jockusch Jr & Robert I. Soare - 1971 - Journal of Symbolic Logic 36 (1):66 - 78.
A minimal pair of Π1 0 classes.Carl G. Jockusch & Robert I. Soare - 1971 - Journal of Symbolic Logic 36 (1):66-78.
Π10 classes and minimal degrees.Marcia J. Groszek & Theodore A. Slaman - 1997 - Annals of Pure and Applied Logic 87 (2):117-144.

View all 7 references / Add more references