Completely determined Borel sets and measurability
Logic
2021-05-20 v2
Abstract
We consider the reverse math strength of the statement :"Every completely determined Borel set is measurable." Over , we obtain the following results analogous to the previously studied category case. lies strictly between and . Whenever is the second-order part of an -model of , then for every , there is a such that is -random relative to . On the other hand, without , all sets have measure zero (as measured according to ), and it follows vacuously that implies over .
Keywords
Cite
@article{arxiv.2001.01881,
title = {Completely determined Borel sets and measurability},
author = {Linda Westrick},
journal= {arXiv preprint arXiv:2001.01881},
year = {2021}
}
Comments
19 pages, minor revisions