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 |