pith. sign in

arxiv: 1807.02213 · v1 · pith:7JZMVWZOnew · submitted 2018-07-06 · 🧮 math.LO

The consistency strength of the perfect set property for universally Baire sets of reals

classification 🧮 math.LO
keywords shelahbairecardinalrealsuniversallyvirtuallycardinalsequiconsistent
0
0 comments X
read the original abstract

We show that the statement "every universally Baire set of reals has the perfect set property" is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtually Shelah cardinal. These cardinals resemble Shelah cardinals but are much weaker: if $0^\sharp$ exists then every Silver indiscernible is virtually Shelah in $L$. We also show that the statement $\text{uB} = {\bf\Delta}^1_2$, where $\text{uB}$ is the pointclass of all universally Baire sets of reals, is equiconsistent modulo ZFC with the existence of a $\Sigma_2$-reflecting virtually Shelah cardinal.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.