Miguel A. Cardona

Let [Formula: see text] be the [Formula: see text]-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of [Formula: see text] after finite support iterations. This is applied to force that the four cardinal characteristics associated with [Formula: see text] are pairwise different: [Formula: see text] Furthermore, we construct a forcing extension satisfying the above and Cichoń’s maximum (i.e. that the non-dependent values in Cichoń’s diagram are pairwise different).

The main purpose of this dissertation is to apply and develop new forcing techniques to obtain models where several cardinal characteristics are pairwise different as well as force many (even more, continuum many) different values of cardinal characteristics that are parametrized by reals. In particular, we look at cardinal characteristics associated with strong measure zero, Yorioka ideals, and localization and anti-localization cardinals.In this thesis we introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “ $\mu $ -F-linked” and “ $\theta $ -F-Knaster” for posets in a natural way. We show that $\theta $ -F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. These kinds of posets led to the development of a general technique to construct $\theta $ - $\textrm {Fr}$ -Knaster posets (where $\textrm {Fr}$ is the Frechet ideal) via matrix iterations of ${

Yorioka introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of c.c.c. posets to force that, for many ideals in that class, their associated cardinal invariants (i.e., additivity, covering, uniformity and cofinality) are pairwise different. In addition, we show that, consistently, the additivity and cofinality of Yorioka ideals does not coincide with the additivity and cofinality (respectively) of the ideal of Lebesgue measure zero subsets of the real line.