Journal of Symbolic Logic 71 (3):1057 - 1072 (2006)

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δ sets. Our constructions essentially settle the reverse mathematical classification of this principle
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1154698592
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,021
Through your library

References found in this work BETA

Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.

View all 6 references / Add more references

Citations of this work BETA

Almost Everywhere Domination and Superhighness.Stephen G. Simpson - 2007 - Mathematical Logic Quarterly 53 (4):462-482.
Mass Problems and Hyperarithmeticity.Joshua A. Cole & Stephen G. Simpson - 2007 - Journal of Mathematical Logic 7 (2):125-143.
Van Lambalgen's Theorem and High Degrees.Johanna N. Y. Franklin & Frank Stephan - 2011 - Notre Dame Journal of Formal Logic 52 (2):173-185.
Tracing and Domination in the Turing Degrees.George Barmpalias - 2012 - Annals of Pure and Applied Logic 163 (5):500-505.

View all 10 citations / Add more citations

Similar books and articles

Almost Everywhere Domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
Mass Problems and Measure-Theoretic Regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.
Jumping to a Uniform Upper Bound.Harold T. Hodes - 1982 - Proceedings of the American Mathematical Society 85 (4):600-602.
Powers of the Ideal of Lebesgue Measure Zero Sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.
Ultrafilters Generated by a Closed Set of Functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
Typicality and the Role of the Lebesgue Measure in Statistical Mechanics.Itamar Pitowsky - 2012 - In Yemima Ben-Menahem & Meir Hemmo (eds.), Probability in Physics. Springer. pp. 41--58.
Measurement in the Nominal and Verbal Domains.Kimiko Nakanishi - 2007 - Linguistics and Philosophy 30 (2):235 - 276.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
Uniform Enumeration Operations.A. H. Lachlan - 1975 - Journal of Symbolic Logic 40 (3):401-409.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.

Analytics

Added to PP index
2010-08-24

Total views
41 ( #254,193 of 2,433,500 )

Recent downloads (6 months)
1 ( #468,801 of 2,433,500 )

How can I increase my downloads?

Downloads

My notes