Solovay's inaccessible over a weak set theory without choice

Abstract

We study the consistency strength of Lebesgue measurability for ${\Sigma }_3^1$ sets over Zermelo set theory ($Z$) in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.