Abstract/Details

THE STRUCTURE OF THE UPPER BOUNDS OF THE ARITHMETICAL DEGREES

HEFFERON, JAMES STEPHEN. 
 University of Connecticut ProQuest Dissertations Publishing,  1986. 8619119.

Abstract (summary)

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.

Indexing (details)


Subject
Mathematics
Classification
0405: Mathematics
Identifier / keyword
Pure sciences
Title
THE STRUCTURE OF THE UPPER BOUNDS OF THE ARITHMETICAL DEGREES
Author
HEFFERON, JAMES STEPHEN
Number of pages
72
Degree date
1986
School code
0056
Source
DAI-B 47/05, Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
979-8-206-43923-6
University/institution
University of Connecticut
University location
United States -- Connecticut
Degree
Ph.D.
Source type
Dissertation or Thesis
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
8619119
ProQuest document ID
303472910
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
https://www.proquest.com/docview/303472910/abstract