25 research outputs found
Definable maximal discrete sets in forcing extensions
Let be a binary relation, and recall that a set
is -discrete if no two elements of are related by .
We show that in the Sacks and Miller forcing extensions of there is a
maximal -discrete set. We use this to answer in the
negative the main question posed in [5] by showing that in the Sacks and Miller
extensions there is a maximal orthogonal family ("mof") of Borel
probability measures on Cantor space. A similar result is also obtained for
mad families. By contrast, we show that if there is a Mathias real
over then there are no mofs.Comment: 16 page
and mad families
We answer in the affirmative the following question of J\"org Brendle: If
there is a mad family, is there then a mad family?Comment: This will appear in the Journal of Symbolic Logic (March 2014
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
Definable maximal cofinitary groups of intermediate size
Using almost disjoint coding, we show that for each
consistently ,
where is witnessed by a maximal cofinitary
group.Comment: 22 page
Transfinite inductions producing coanalytic sets
A. Miller proved the consistent existence of a coanalytic two-point set,
Hamel basis and MAD family. In these cases the classical transfinite induction
can be modified to produce a coanalytic set. We generalize his result
formulating a condition which can be easily applied in such situations. We
reprove the classical results and as a new application we show that in
there exists an uncountable coanalytic subset of the plane that intersects
every curve in a countable set.Comment: preliminary versio
Definable MAD families and forcing axioms
We show that under the Bounded Proper Forcing Axiom and an anti-large
cardinal assumption, there is a MAD family.Comment: 13 page