102,870 research outputs found
Projective maximal families of orthogonal measures with large continuum
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 .Comment: 12 page
The Ramsey property implies no mad families
We show that if all collections of infinite subsets of have the Ramsey
property, then there are no infinite maximal almost disjoint (mad) families.
This solves a long-standing problem going back to Mathias \cite{mathias}. The
proof exploits an idea which has its natural roots in ergodic theory,
topological dynamics, and invariant descriptive set theory: We use that a
certain function associated to a purported mad family is invariant under the
equivalence relation , and thus is constant on a "large" set. Furthermore
we announce a number of additional results about mad families relative to more
complicated Borel ideals.Comment: 10 pages; fixed a mistake in Theorem 4.
- …