65 research outputs found
Compactness of maximal eventually different families
We show that there is an effectively closed maximal eventually different
family of functions in spaces of the form for and give an exact criterion for
when there exists an effectively compact such family.Comment: 9 pages. Some small errors correcte
On Horowitz and Shelah's Borel maximal eventually different family
We show there is a closed (in fact effectively closed, i.e., )
eventually different family (working in ZF or less).Comment: 7 pages. Some small errors correcte
Easton supported Jensen coding and projective measure without projective Baire
We prove that it is consistent relative to a Mahlo cardinal that all sets of
reals definable from countable sequences of ordinals are Lebesgue measurable,
but at the same time, there is a set without the Baire property.
To this end, we introduce a notion of stratified forcing and stratified
extension and prove an iteration theorem for these classes of forcings.
Moreover we introduce a variant of Shelah's amalgamation technique that
preserves stratification. The complexity of the set which provides a
counterexample to the Baire property is optimal.Comment: 142 page
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
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.
Lebesgue's Density Theorem and definable selectors for ideals
We introduce a notion of density point and prove results analogous to
Lebesgue's density theorem for various well-known ideals on Cantor space and
Baire space. In fact, we isolate a class of ideals for which our results hold.
In contrast to these results, we show that there is no reasonably definable
selector that chooses representatives for the equivalence relation on the Borel
sets of having countable symmetric difference. In other words, there is no
notion of density which makes the ideal of countable sets satisfy an analogue
to the density theorem. The proofs of the positive results use only elementary
combinatorics of trees, while the negative results rely on forcing arguments.Comment: 28 pages; minor corrections and a new introductio
Lightface -indescribable cardinals
-absoluteness for ccc forcing means that for any ccc forcing ,
. "
inaccessible to reals" means that for any real ,
. To measure the exact consistency strength of
"-absoluteness for ccc forcing and is inaccessible to
reals", we introduce a weak version of a weakly compact cardinal, namely, a
(lightface) -indescribable cardinal; has this property
exactly if it is inaccessible and
Maximal almost disjoint families, determinacy, and forcing
We study the notion of -MAD families where is a
Borel ideal on . We show that if is an arbitrary
ideal, or is any finite or countably iterated Fubini product of
ideals, then there are no analytic infinite -MAD
families, and assuming Projective Determinacy there are no infinite projective
-MAD families; and under the full Axiom of Determinacy +
there are no infinite -mad families.
These results apply in particular when is the ideal of finite sets
, which corresponds to the classical notion of MAD families. The
proofs combine ideas from invariant descriptive set theory and forcing.Comment: 40 page
- …