Annals of Pure and Applied Logic 94 (1-3):45-52 (1998)
| Abstract |
We investigate the relationship of the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low 2
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/s0168-0072(97)00066-3 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,512
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - citeseerx.ist.psu.edu [2] (no proxy)
- linkinghub.elsevier.com (no proxy)
- sciencedirect.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication.Richard M. Friedberg - 1958 - Journal of Symbolic Logic 23 (3):309-316.
Splitting Theorems in Recursion Theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
Completely Mitotic R.E. Degrees.R. G. Downey & T. A. Slaman - 1989 - Annals of Pure and Applied Logic 41 (2):119-152.
Anti-Mitotic Recursively Enumerable Sets.Klaus Ambos-Spies - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (29-30):461-477.
Anti‐Mitotic Recursively Enumerable Sets.Klaus Ambos‐Spies - 1985 - Mathematical Logic Quarterly 31 (29‐30):461-477.
View all 10 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Jump Theorems for REA Operators.Alistair H. Lachlan & Xiaoding Yi - 1993 - Mathematical Logic Quarterly 39 (1):1-6.
Jump Inversions Inside Effectively Closed Sets and Applications to Randomness.George Barmpalias, Rod Downey & Keng Meng Ng - 2011 - Journal of Symbolic Logic 76 (2):491 - 518.
A Non-Inversion Theorem for the Jump Operator.Richard A. Shore - 1988 - Annals of Pure and Applied Logic 40 (3):277-303.
Antibasis Theorems for {\ Pi^ 0_1} Classes and the Jump Hierarchy.Ahmet Çevik - 2013 - Archive for Mathematical Logic 52 (1-2):137-142.
Highness and Bounding Minimal Pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
Splitting Theorems in Recursion Theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
A Jump Operator on Honest Subrecursive Degrees.Lars Kristiansen - 1998 - Archive for Mathematical Logic 37 (2):105-125.
Representing Any-Time and Program-Iteration by Infinitary Conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals.P. D. Welch - 2000 - Journal of Symbolic Logic 65 (3):1193-1203.
Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Ray-Splitting Billiards.R. Blümel, P. M. Koch & L. Sirko - 2001 - Foundations of Physics 31 (2):269-281.
Analytic Countably Splitting Families.Otmar Spinas - 2004 - Journal of Symbolic Logic 69 (1):101-117.
A Jump Inversion Theorem for the Enumeration Jump.I. N. Soskov - 2000 - Archive for Mathematical Logic 39 (6):417-437.
A Jump Operator in Set Recursion.Dag Normann - 1979 - Mathematical Logic Quarterly 25 (13‐18):251-264.
Analytics
Added to PP index
2014-01-16
Total views
11 ( #856,361 of 2,520,901 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,901 )
2014-01-16
Total views
11 ( #856,361 of 2,520,901 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,901 )
How can I increase my downloads?
Downloads
