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)|
|Through your library||Configure|
Similar books and articles
Natasha L. Dobrinen & Stephen G. Simpson (2004). Almost Everywhere Domination. Journal of Symbolic Logic 69 (3):914-922.
Stephen G. Simpson (2009). Mass Problems and Measure-Theoretic Regularity. Bulletin of Symbolic Logic 15 (4):385-409.
Harold T. Hodes (1982). Jumping to a Uniform Upper Bound. Proceedings of the American Mathematical Society 85 (4):600-602.
Maxim R. Burke (1991). Powers of the Ideal of Lebesgue Measure Zero Sets. Journal of Symbolic Logic 56 (1):103-107.
Greg Bishop (1995). Ultrafilters Generated by a Closed Set of Functions. Journal of Symbolic Logic 60 (2):415-430.
Alistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Oliver Deiser & Dieter Donder (2003). Canonical Functions, Non-Regular Ultrafilters and Ulam's Problem on Ω. Journal of Symbolic Logic 68 (3): 713- 739.
Kimiko Nakanishi (2007). Measurement in the Nominal and Verbal Domains. Linguistics and Philosophy 30 (2):235 - 276.
Joseph S. Miller (2004). Degrees of Unsolvability of Continuous Functions. Journal of Symbolic Logic 69 (2):555 - 584.
A. H. Lachlan (1975). Uniform Enumeration Operations. Journal of Symbolic Logic 40 (3):401-409.
Tamar Lando (2012). Completeness of S4 for the Lebesgue Measure Algebra. Journal of Philosophical Logic 41 (2):287-316.
Benjamin Blankertz & Andreas Weiermann (1999). A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. Studia Logica 62 (3):399-427.
Mingzhong Cai (2012). Degrees of Relative Provability. Notre Dame Journal of Formal Logic 53 (4):479-489.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-24
Recent downloads (6 months)0
How can I increase my downloads?