31 research outputs found
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
Definability of maximal cofinitary groups
We present a proof of a result, previously announced by the second author,
that there is a closed (even ) set generating an (even
) maximal cofinitary group (short, mcg) which is isomorphic to a
free group. In this isomorphism class, this is the lowest possible definitional
complexity of an mcg.Comment: This work is part of the first authors thesi
Universally Sacks-indestructible combinatorial families of reals
We introduce the notion of an arithmetical type of combinatorial family of
reals, which serves to generalize different types of families such as mad
families, maximal cofinitary groups, ultrafilter bases, splitting families and
other similar types of families commonly studied in combinatorial set theory.
We then prove that every combinatorial family of reals of arithmetical type,
which is indestructible by the product of Sacks forcing
, is in fact universally Sacks-indestructible, i.e. it
is indestructible by any countably supported iteration or product of
Sacks-forcing of any length. Further, under we present a unified
construction of universally Sacks-indestructible families for various
arithmetical types of families. In particular we prove the existence of a
universally Sacks-indestructible maximal cofinitary group under .Comment: 33 pages, submitte