加载中…
We study maximal orthogonal families of Borel probability measures on (abbreviated m.o. families) and show that there are generic extensions of the constructible universe in which each of the following holds: (1) There is a -definable well order of the reals, there is a -definable m.o. family, there are no -definable m.o. families and (in fact any reasonable value of will do). (2) There is a -definable well order of the reals, there is a -definable m.o. family, there are no -definable m.o. families, and .

生成讲解博客的中文版本

生成AI智能校验的中文版本