加载中…
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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本