Solovay's inaccessible over a weak set theory without choice
Logic
2023-09-12 v2
Abstract
We study the consistency strength of Lebesgue measurability for sets over Zermelo set theory () in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.
Keywords
Cite
@article{arxiv.1609.03078,
title = {Solovay's inaccessible over a weak set theory without choice},
author = {Haim Horowitz and Saharon Shelah},
journal= {arXiv preprint arXiv:1609.03078},
year = {2023}
}