Lebesgue measurability

71 Views Asked by At

For what $n$ it is (in)consistent that all $\Sigma^1_n/\Pi^1_n$ sets are Lebesgue measurable ? I remember that there is a result that if all $\Sigma^1_3$ are Lebesgue measurable then $\omega_1$ is inaccessible in $\sf{L}$.