Proceedings of the American Mathematical Society 85 (4):600-602 (1982)
A uniform upper bound on a class of Turing degrees is the Turing degree of a function which parametrizes the collection of all functions whose degree is in the given class. I prove that if a is a uniform upper bound on an ideal of degrees then a is the jump of a degree c with this additional property: there is a uniform bound b<a so that b V c < a.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Upper Bounds for the Arithmetical Degrees.M. Lerman - 1983 - Annals of Pure and Applied Logic 29 (3):225-254.
Similar books and articles
More About Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy.Harold T. Hodes - 1981 - Journal of Symbolic Logic 46 (4):753-760.
An Exact Pair for the Arithmetic Degrees Whose Join is Not a Weak Uniform Upper Bound.Harold T. Hodes - 1982 - Recursive Function Theory-Newsletters 28.
Models of Arithmetic and Upper Bounds for Arithmetic Sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.
A Minimal Upper Bound on a Sequence of Turing Degrees Which Represents That Sequence.Harold T. Hodes - 1983 - Pacific Journal of Mathematics 108 (1):115-119.
Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees.Masahiro Kumabe - 1996 - Journal of Symbolic Logic 61 (4):1158-1192.
About Conditional Probabilities of Events Regarding the Quantum Mechanical Measurement Process.Thomas Schürmann - unknown
Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.
On the Emptiness of the Stability Set of Order D.Mathieu Martin - 2002 - Theory and Decision 52 (4):313-326.
Characterizing the Join-Irreducible Medvedev Degrees.Paul Shafer - 2011 - Notre Dame Journal of Formal Logic 52 (1):21-38.
Added to index2012-01-01
Total downloads7 ( #528,655 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?