Results 1 
4 of
4
Almost everywhere domination
 J. Symbolic Logic
"... ATuringdegreea is said to be almost everywhere dominating if, for almost all X ∈ 2 ω with respect to the “fair coin ” probability measure on 2 ω,andforallg: ω → ω Turing reducible to X, thereexistsf: ω → ω of Turing degree a which dominates g. We study the problem of characterizing the almost everyw ..."
Abstract

Cited by 33 (16 self)
 Add to MetaCart
ATuringdegreea is said to be almost everywhere dominating if, for almost all X ∈ 2 ω with respect to the “fair coin ” probability measure on 2 ω,andforallg: ω → ω Turing reducible to X, thereexistsf: ω → ω of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in the reverse mathematics of measure theory. 1
The Baire category theorem in weak subsystems of secondorder arithmetic
 THE JOURNAL OF SYMBOLIC LOGIC
, 1993
"... ..."
Mass problems and measuretheoretic regularity
, 2009
"... Research supported by NSF grants DMS0600823 and DMS0652637. ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Research supported by NSF grants DMS0600823 and DMS0652637.
Vitali’s theorem and WWKL
 Archive for Mathematical Logic
"... Abstract. Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several wellknown measuretheoretic propositions ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several wellknown measuretheoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0. 1.