Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Mass Problems and Randomness

Stephen G. Simpson
The Bulletin of Symbolic Logic
Vol. 11, No. 1 (Mar., 2005), pp. 1-27
Stable URL: http://www.jstor.org/stable/3219625
Page Count: 27
  • Read Online (Free)
  • Download ($10.00)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Mass Problems and Randomness
Preview not available

Abstract

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We focus on the countable distributive lattices Pw and Ps of weak and strong degrees of mass problems given by nonempty Π10 subsets of 2ω. Using an abstract Gödel/Rosser incompleteness property, we characterize the Π10 subsets of 2ω whose associated mass problems are of top degree in Pw and Ps, respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within Pw. Namely, we characterize r as the unique largest weak degree of a Π10 subset of 2ω of positive measure. Within Pw we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π10 subsets of 2ω. In addition, we present other natural examples of intermediate degrees in Pw. We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory.

Page Thumbnails

  • Thumbnail: Page 
1
    1
  • Thumbnail: Page 
2
    2
  • Thumbnail: Page 
3
    3
  • Thumbnail: Page 
4
    4
  • Thumbnail: Page 
5
    5
  • Thumbnail: Page 
6
    6
  • Thumbnail: Page 
7
    7
  • Thumbnail: Page 
8
    8
  • Thumbnail: Page 
9
    9
  • Thumbnail: Page 
10
    10
  • Thumbnail: Page 
11
    11
  • Thumbnail: Page 
12
    12
  • Thumbnail: Page 
13
    13
  • Thumbnail: Page 
14
    14
  • Thumbnail: Page 
15
    15
  • Thumbnail: Page 
16
    16
  • Thumbnail: Page 
17
    17
  • Thumbnail: Page 
18
    18
  • Thumbnail: Page 
19
    19
  • Thumbnail: Page 
20
    20
  • Thumbnail: Page 
21
    21
  • Thumbnail: Page 
22
    22
  • Thumbnail: Page 
23
    23
  • Thumbnail: Page 
24
    24
  • Thumbnail: Page 
25
    25
  • Thumbnail: Page 
26
    26
  • Thumbnail: Page 
27
    27