pith. sign in

arxiv: 1106.4273 · v1 · pith:O2M2FWJ6new · submitted 2011-06-21 · 🧮 math.LO

Projective maximal families of orthogonal measures with large continuum

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

We study maximal orthogonal families of Borel probability measures on $2^\omega$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a $\Delta^1_3$-definable well order of the reals, there is a $\Pi^1_2$-definable m.o. family, there are no $\mathbf{\Sigma}^1_2$-definable m.o. families and $\mathfrak{b}=\mathfrak{c}=\omega_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $\Delta^1_3$-definable well order of the reals, there is a $\Pi^1_2$-definable m.o. family, there are no $\mathbf{\Sigma}^1_2$-definable m.o. families, $\mathfrak{b}=\omega_1$ and $\mathfrak{c}=\omega_2$.

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.