Sh:1178
- Larson, P. B., & Shelah, S. (2024). Universally measurable sets may all be \boldsymbol{\Delta}^{1}_{2}. Fund. Math., 266(2), 97–120. arXiv: 2005.10399 MR: 4774022
-
Abstract:
We produce a forcing extension of the constructible universe \bf L in which every sufficiently regular subset of any Polish space is a continuous image of a coanalytic set. In particular, we show that consistently every universally measurable set is \Delta^{1}_{2}, partially answering question CG from David Fremlin’s problem list [FQL]. - Version 2023-06-20 (25p)
Bib entry
@article{Sh:1178, author = {Larson, Paul B. and Shelah, Saharon}, title = {{Universally measurable sets may all be $\boldsymbol{\Delta}^{1}_{2}$}}, journal = {Fund. Math.}, fjournal = {Fundamenta Mathematicae}, volume = {266}, number = {2}, year = {2024}, pages = {97-120}, mrnumber = {4774022}, note = {\href{https://arxiv.org/abs/2005.10399}{arXiv: 2005.10399}}, arxiv_number = {2005.10399} }