BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Miguel A. Cardona contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $\mathcal{E}$ be the $σ$-ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for $\mathcal{E}$, their associated cardinal characteristics (i.e.\ additivity, covering, uniformity and cofinality) are pairwise different.
We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń's diagram are pairwise different. We show some simple examples forcing the left-hand side of Cichoń's diagram, and present the technique of restriction to models to force Cichoń's maximum (original from Goldstern, Kellner, Shelah, and the second author). We focus on how the values forced in all the constellations are obtained via the Tukey order.
We show that the set of the ground-model reals has strong measure zero (is strongly meager) after adding a single Cohen real (random real). As consequence we prove that the set of the ground-model reals has strong measure zero after adding a single Hechler real.
We introduce the property ``$F$-linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$μ$-$F$-linked'' and ``$θ$-$F$-Knaster'' for posets in a natural way. We show that $θ$-$F$-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct $θ$-$\mathrm{Fr}$-Knaster posets (where $\mathrm{Fr}$ is the Frechet ideal) via matrix iterations of ${<}θ$-ultrafilter-linked posets (restricted to some level of the matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into $10$ different values.
Let $\mathcal{SN}$ be the strong measure zero $σ$-ideal. We prove a result providing bounds for $\mathrm{cof}(\mathcal{SN})$ which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies $\mathrm{add}(\mathcal{SN})=\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$.
Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] 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 ccc 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.