Mass Problems and Measure-Theoretic Regularity

Mass Problems and Measure-Theoretic Regularity

A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an $F_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measuretheoretic regularity at all levels of t...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:The Bulletin of Symbolic Logic. - Cambridge University Press. - 15(2009), 4, Seite 385-409
1. Verfasser: Simpson, Stephen G. (VerfasserIn)
Format: Online-Aufsatz
Sprache:English
Veröffentlicht: 2009
Zugriff auf das übergeordnete Werk:The Bulletin of Symbolic Logic
Schlagworte:measure theory Borel sets hyperarithmetical hierarchy Turing degrees Muchnik degrees LR-reducibility reverse mathematics Mathematics Philosophy Behavioral sciences Physical sciences
LEADER 01000caa a22002652 4500
001 JST021303436
003 DE-627
005 20240620083135.0
007 cr uuu---uuuuu
008 150324s2009 xx |||||o 00| ||eng c
035 |a (DE-627)JST021303436 
035 |a (JST)30249365 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
084 |a 03D80  |2 MSC 
084 |a 68Q30  |2 MSC 
084 |a 03D30  |2 MSC 
084 |a 03D55  |2 MSC 
100 1 |a Simpson, Stephen G.  |e verfasserin  |4 aut 
245 1 0 |a Mass Problems and Measure-Theoretic Regularity 
264 1 |c 2009 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
520 |a A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an $F_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measuretheoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some ω-models of RCA₀ which are relevant for the reverse mathematics of measure-theoretic regularity. 
540 |a Copyright 2009 Association for Symbolic Logic 
650 4 |a measure theory 
650 4 |a Borel sets 
650 4 |a hyperarithmetical hierarchy 
650 4 |a Turing degrees 
650 4 |a Muchnik degrees 
650 4 |a LR-reducibility 
650 4 |a reverse mathematics 
650 4 |a Mathematics  |x Mathematical expressions  |x Mathematical theorems 
650 4 |a Philosophy  |x Logic  |x Logical topics  |x Formal logic  |x Mathematical logic 
650 4 |a Behavioral sciences  |x Anthropology  |x Applied anthropology  |x Cultural anthropology  |x Folkloristics  |x Folk culture  |x Folk beliefs  |x Magic  |x Divination  |x Oracles 
650 4 |a Philosophy  |x Logic  |x Logical topics  |x Formal logic  |x Mathematical logic  |x Proof theory  |x Reverse mathematics 
650 4 |a Philosophy  |x Logic  |x Logical topics  |x Formal logic  |x Mathematical logic  |x Recursion theory  |x Computability  |x Degree of unsolvability 
650 4 |a Philosophy  |x Logic  |x Logical theorems 
650 4 |a Physical sciences  |x Physics  |x Mechanics  |x Mass  |x Average linear density 
650 4 |a Mathematics  |x Pure mathematics  |x Probability theory  |x Randomness 
650 4 |a Mathematics  |x Mathematical analysis  |x Measure theory 
650 4 |a Philosophy  |x Logic  |x Logical topics  |x Formal logic  |x Mathematical logic  |x Mathematical set theory  |x Mathematical sets  |x Borel sets  |x Communications 
655 4 |a research-article 
773 0 8 |i Enthalten in  |t The Bulletin of Symbolic Logic  |d Cambridge University Press  |g 15(2009), 4, Seite 385-409  |w (DE-627)302719644  |w (DE-600)1491989-8  |x 19435894  |7 nnns 
773 1 8 |g volume:15  |g year:2009  |g number:4  |g pages:385-409 
856 4 0 |u https://www.jstor.org/stable/30249365  |3 Volltext 
912 |a GBV_USEFLAG_A 
912 |a SYSFLAG_A 
912 |a GBV_JST 
912 |a GBV_ILN_11 
912 |a GBV_ILN_20 
912 |a GBV_ILN_22 
912 |a GBV_ILN_23 
912 |a GBV_ILN_24 
912 |a GBV_ILN_31 
912 |a GBV_ILN_39 
912 |a GBV_ILN_40 
912 |a GBV_ILN_60 
912 |a GBV_ILN_62 
912 |a GBV_ILN_63 
912 |a GBV_ILN_69 
912 |a GBV_ILN_70 
912 |a GBV_ILN_73 
912 |a GBV_ILN_90 
912 |a GBV_ILN_95 
912 |a GBV_ILN_100 
912 |a GBV_ILN_105 
912 |a GBV_ILN_110 
912 |a GBV_ILN_120 
912 |a GBV_ILN_151 
912 |a GBV_ILN_161 
912 |a GBV_ILN_165 
912 |a GBV_ILN_170 
912 |a GBV_ILN_213 
912 |a GBV_ILN_230 
912 |a GBV_ILN_285 
912 |a GBV_ILN_293 
912 |a GBV_ILN_370 
912 |a GBV_ILN_374 
912 |a GBV_ILN_602 
912 |a GBV_ILN_702 
912 |a GBV_ILN_2001 
912 |a GBV_ILN_2003 
912 |a GBV_ILN_2005 
912 |a GBV_ILN_2006 
912 |a GBV_ILN_2007 
912 |a GBV_ILN_2008 
912 |a GBV_ILN_2009 
912 |a GBV_ILN_2010 
912 |a GBV_ILN_2011 
912 |a GBV_ILN_2014 
912 |a GBV_ILN_2015 
912 |a GBV_ILN_2018 
912 |a GBV_ILN_2020 
912 |a GBV_ILN_2021 
912 |a GBV_ILN_2026 
912 |a GBV_ILN_2027 
912 |a GBV_ILN_2044 
912 |a GBV_ILN_2050 
912 |a GBV_ILN_2056 
912 |a GBV_ILN_2057 
912 |a GBV_ILN_2061 
912 |a GBV_ILN_2088 
912 |a GBV_ILN_2107 
912 |a GBV_ILN_2110 
912 |a GBV_ILN_2111 
912 |a GBV_ILN_2190 
912 |a GBV_ILN_2244 
912 |a GBV_ILN_2933 
912 |a GBV_ILN_2947 
912 |a GBV_ILN_2949 
912 |a GBV_ILN_2950 
912 |a GBV_ILN_4012 
912 |a GBV_ILN_4035 
912 |a GBV_ILN_4037 
912 |a GBV_ILN_4046 
912 |a GBV_ILN_4112 
912 |a GBV_ILN_4125 
912 |a GBV_ILN_4126 
912 |a GBV_ILN_4242 
912 |a GBV_ILN_4249 
912 |a GBV_ILN_4251 
912 |a GBV_ILN_4305 
912 |a GBV_ILN_4306 
912 |a GBV_ILN_4307 
912 |a GBV_ILN_4313 
912 |a GBV_ILN_4322 
912 |a GBV_ILN_4323 
912 |a GBV_ILN_4324 
912 |a GBV_ILN_4325 
912 |a GBV_ILN_4326 
912 |a GBV_ILN_4335 
912 |a GBV_ILN_4338 
912 |a GBV_ILN_4346 
912 |a GBV_ILN_4367 
912 |a GBV_ILN_4393 
912 |a GBV_ILN_4700 
951 |a AR 
952 |d 15  |j 2009  |e 4  |h 385-409