Content area
Abstract
The structure of the upper bounds for the Arithmetical Degrees of Unsolvability is studied, with emphasis on those degrees which are jumps of upper bounds.
An analogy is drawn between the set of all complete degrees and the set of uniform upper bounds of arithmetical functions, AR. A Join Theorem is proved for the degrees of uub's for AR. A Jump Inversion theorem is also proved for those degrees.
The (FOR ALL)(THERE EXISTS) theory of the degrees is shown to be decidable with a proof about extendability of poset embeddings above the arithmetical degrees.
Details
Title
THE STRUCTURE OF THE UPPER BOUNDS OF THE ARITHMETICAL DEGREES
Author
HEFFERON, JAMES STEPHEN
Year
1986
ISBN
979-8-206-43923-6
Source type
Dissertation or Thesis
Language of publication
English
ProQuest document ID
303472910
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
