Uniform almost everywhere domination

DOI10.2178/JSL/1154698592MaRDI QIDQ3410690zbMATH OpenOpenAlexFDO

Authors Peter A. Cholak, Noam Greenberg, Joseph S. Miller

Publication date 29 November 2006

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0506019

zbMATH Keywords

dominating functionsfunction of incomplete computably enumerable degreeregularity of Lebesgue measurereverse mathematics

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Second- and higher-order arithmetic and fragments (03F35) Other connections with logic and set theory (28E15)

Abstract: We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the proof-theoretic strength of the regularity of Lebesgue measure for $G_{d}elta$ sets. Our constructions essentially settle the reverse mathematical classification of this principle. Revised Nov 13, 2005. Minor corrections made.

Recommendations

• Almost everywhere domination
• Lowness notions, measure and domination
• Mass problems and measure-theoretic regularity
• Non-cupping, measure and computably enumerable splittings
• Almost everywhere domination and superhighness

Cites work

• Class groups of integral group rings
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability
• Degrees joining to 0′
• Degrees of members of \(\Pi_ 1^ 0\) classes
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Lowness properties and randomness
• Measure theory and weak König's lemma
• Three theorems on the degrees of recursively enumerable sets

Cited in

(14)

• Lowness notions, measure and domination
• MASS PROBLEMS AND HYPERARITHMETICITY
• Non-cupping, measure and computably enumerable splittings
• Mass problems and measure-theoretic regularity
• Effectively approximating measurable sets by open sets
• A Cappable Almost Everywhere Dominating Computably Enumerable Degree
• Randomness notions and reverse mathematics
• Almost everywhere domination and superhighness
• Low for random reals and positive-measure domination
• Almost everywhere domination
• DOMINATION AND REGULARITY
• Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
• Tracing and domination in the Turing degrees
• Mass problems associated with effectively closed sets

This page was built for publication: Uniform almost everywhere domination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3410690)