Annals of Pure and Applied Logic 164 (5):511-522 (2013)
| Abstract |
In this paper, we improve a result of Seetapun and prove that above any nonzero, incomplete recursively enumerable degree a, there is a high2 r.e. degree c>ac>a witnessing that a is locally noncappable . Theorem 1.1 provides a scheme of obtaining high2 nonboundings , as all known high2 nonboundings, such as high2 degrees bounding no minimal pairs, high2 plus-cuppings, etc
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2012.11.008 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Minimal Pairs and High Recursively Enumerable Degrees.S. B. Cooper - 1974 - Journal of Symbolic Logic 39 (4):655-660.
Highness and Bounding Minimal Pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
Working Below a High Recursively Enumerable Degree.Richard A. Shore & Theodore A. Slaman - 1993 - Journal of Symbolic Logic 58 (3):824-859.
Degrees Which Do Not Bound Minimal Degrees.Manuel Lerman - 1986 - Annals of Pure and Applied Logic 30 (3):249-276.
The Computably Enumerable Degrees Are Locally Non-Cappable.Matthew B. Giorgi - 2004 - Archive for Mathematical Logic 43 (1):121-139.
View all 6 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Highness and Local Noncappability.Chengling Fang, Wang Shenling & Guohua Wu - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 203--211.
Is Eating Locally a Moral Obligation?Gregory R. Peterson - 2013 - Journal of Agricultural and Environmental Ethics 26 (2):421-437.
His Royal Highness Prince Aga Khan, Guide, Philosopher, and Friend of the World of Islam.Qayyum A. Malick - 1954 - Karachi, Ismailia Association, Pakistan.
Main Gap for Locally Saturated Elementary Submodels of a Homogeneous Structure.Tapani Hyttinen & Saharon Shelah - 2001 - Journal of Symbolic Logic 66 (3):1286-1302.
Open Subspaces of Locally Compact Metric Spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.
Endangered Scholars Worldwide.Matt Congdon - 2011 - Social Research: An International Quarterly 78 (1):5-14.
Lattices in Locally Definable Subgroups of $langleR^{N},+Rangle$.Pantelis E. Eleftheriou & Ya’Acov Peterzil - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):449-461.
Topological Complexity of Locally Finite Ω-Languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Measure Theory Aspects of Locally Countable Orderings.Liang Yu - 2006 - Journal of Symbolic Logic 71 (3):958 - 968.
One Theorem of Zil′Ber's on Strongly Minimal Sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
Locally o-Minimal Structures and Structures with Locally o-Minimal Open Core.Antongiulio Fornasiero - 2013 - Annals of Pure and Applied Logic 164 (3):211-229.
Review: A. I. Mal'cev, On the Elementary Theories of Locally Free Universal Algebras; A. I. Mal'cev, Axiomatizable Classes of Locally Free Algebras of Several Types. [REVIEW]Benjamin Franklin Wells - 1967 - Journal of Symbolic Logic 32 (2):278-279.
Every Rooted Narrow Tree Kripke Model of HA is Locally PA.Mohammad Ardeshir & Bardyaa Hesaam - 2002 - Mathematical Logic Quarterly 48 (3):391-395.
Quantifier-Eliminable Locally Finite Graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Analytics
Added to PP index
2013-12-12
Total views
11 ( #855,818 of 2,519,512 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,512 )
2013-12-12
Total views
11 ( #855,818 of 2,519,512 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,512 )
How can I increase my downloads?
Downloads
