sets of reals (Q4382482)

This paper contains several theorems concerning the property of Baire and Lebesgue measurability of sets in second and third level of the projective hierarchy. For \(\Gamma\) a point-class define \[ \Gamma(B)\text{ iff }\forall X\in\Gamma\;(X\text{ has the property of Baire}) \] \[ \Gamma(L)\text{ iff }\forall X\in \Gamma\;(X\text{ is Lebesgue measurable}) \] \[ \Gamma(WO)\text{ iff there exists a }\Gamma\text{-well-ordering of the reals}. \] According to the introduction the main results are the following: Theorem 2.58. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+\varphi\) proves that \(\underset\sim {\Delta}^1_3(L)\) implies \(\Delta^1_3(B)\), then \(\text{ZFC}+ \varphi\) proves not-\(\underset\sim {\Sigma}^1_2(L)\). Theorem 2.93. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+\varphi\) proves that \(\underset\sim {\Delta}^1_3(B)\) implies \(\Delta^1_3(L)\), then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Sigma}^1_2(B)\). Theorem 3.1. If \(\varphi\) is a \(\Pi^1_3\) sentence and \(\text{ZFC}+\varphi+\underset\sim{\Delta}^1_2(B)\) proves not-\(\underset\sim {\Delta}^1_3(WO)\), then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Delta}^1_2(B)\). Theorem 4.1. Let \(\varphi\) be a \(\Pi^1_3\) sentence. If \(\text{ZFC}+ \varphi+\underset\sim {\Delta}^1_2(B)\) implies there is a \(\underset\sim {\Sigma}^1_3\) set which cannot be uniformized by a \(\underset\sim {\Sigma}^1_3\) function, then \(\text{ZFC}+\varphi\) proves not-\(\underset\sim {\Delta}^1_2(B)\).