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...
Veröffentlicht in: | The Bulletin of Symbolic Logic. - Cambridge University Press. - 15(2009), 4, Seite 385-409 |
---|---|
1. Verfasser: | |
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 |
Online verfügbar |
Volltext |