Journal of Mathematical Logic 15 (1):1550003 (2015)

Abstract
We show that there is a strong minimal pair in the computably enumerable Turing degrees, i.e. a pair of nonzero c.e. degrees a and b such that a∩b = 0 and for any nonzero c.e. degree x ≤ a, b ∪ x ≥ a.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/s0219061315500038
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,308
Through your library

References found in this work BETA

A Minimal Pair of Recursively Enumerable Degrees.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (2):159-168.
Non-Bounding Constructions.J. R. Shoenfield - 1990 - Annals of Pure and Applied Logic 50 (2):191-205.

View all 7 references / Add more references

Citations of this work BETA

Mass Problems and Density.Stephen Binns, Richard A. Shore & Stephen G. Simpson - 2016 - Journal of Mathematical Logic 16 (2):1650006.

Add more citations

Similar books and articles

A Minimal Pair Joining to a Plus Cupping Turing Degree.Dengfeng Li & Angsheng Li - 2003 - Mathematical Logic Quarterly 49 (6):553-566.
Highness and Bounding Minimal Pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
Strong Polynomial-Time Reducibility.Juichi Shinoda - 1997 - Annals of Pure and Applied Logic 84 (1):97-117.
The Ontological Status of Minimal Entities.Luca Moretti - 2008 - Philosophical Studies 141 (1):97 - 114.
Strong Minimal Covers for Recursively Enumerable Degrees.S. Barry Cooper - 1996 - Mathematical Logic Quarterly 42 (1):191-196.
Thomas Wylton Against Minimal Times.Cecilia Trifogli - 2003 - Early Science and Medicine 8 (4):404-417.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
Π10 Classes and Minimal Degrees.Marcia J. Groszek & Theodore A. Slaman - 1997 - Annals of Pure and Applied Logic 87 (2):117-144.
Weakly o-Minimal Expansions of Boolean Algebras.Carlo Toffalori & S. Leonesi - 2001 - Mathematical Logic Quarterly 47 (2):223-238.
Infima in the D.R.E. Degrees.D. Kaddah - 1993 - Annals of Pure and Applied Logic 62 (3):207-263.

Analytics

Added to PP index
2015-05-15

Total views
40 ( #235,001 of 2,326,038 )

Recent downloads (6 months)
5 ( #165,413 of 2,326,038 )

How can I increase my downloads?

Downloads

My notes