2024/08/12 by Dimonte, Vincenzo, Poveda, Alejandro, Thei, Sebastiano · 1 citation
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2408.05973
We construct a model of ZFC with a singular cardinal κ such that every subset of κ in L(Vκ+1) has both the κ-Perfect Set Property and the \mathcalU-Baire Property. This is a higher analogue of Solovay's result for L(ℝ). We obtain this configuration starting with large-cardinal assumptions in the realm of supercompactness, thus improving former theorems by Cramer, Shi and Woodin.