-
Slalom numbers
Authors:
Miguel A. Cardona,
Viera Gavalova,
Diego A. Mejia,
Miroslav Repicky,
Jaroslav Supina
Abstract:
The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection princip…
▽ More
The paper is an extensive and systematic study of cardinal invariants we call slalom numbers, describing the combinatorics of sequences of sets of natural numbers. Our general approach, based on relational systems, covers many such cardinal characteristics, including localization and anti-localization cardinals. We show that most of the slalom numbers are connected to topological selection principles, in particular, we obtain the representation of the uniformity of meager and the cofinality of measure. Considering instances of slalom numbers parametrized by ideals on natural numbers, we focus on monotonicity properties with respect to ideal orderings and computational formulas for the disjoint sum of ideals. Hence, we get such formulas for several pseudo-intersection numbers as well as for the bounding and dominating numbers parametrized with ideals. Based on the effect of adding a Cohen real, we get many consistent constellations of different values of slalom numbers.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
A general theory of iterated forcing using finitely additive measures
Authors:
Miguel A. Cardona,
Diego A. Mejía,
Andrés F. Uribe-Zapata
Abstract:
Based on the work of Shelah, Kellner, and Tănasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory of iterated forcing using finitely additive measures. For this purpose, we introduce two new notions: on the one hand, we define a new linkedness property, called…
▽ More
Based on the work of Shelah, Kellner, and Tănasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory of iterated forcing using finitely additive measures. For this purpose, we introduce two new notions: on the one hand, we define a new linkedness property, called $μ$-$\mathrm{FAM}$-linked and, on the other hand, we generalize the notion of intersection number to forcing notions, which justifies the limit steps of our iteration theory. Our theory also generalizes iterations with ultrafilters, which have played an important role in the proof of the consistency of Cichoń's maximum.
We further show that any iteration constructed with our general theory preserves strong unbounded families and what we call \emph{anti-Bendixson families}, which play a central role in preserving witnesses of $\mathrm{cov}(\mathcal{N})$ of singular size (even of countable cofinality). Finally, we apply our theory to prove the consistency of a new separation of the left-hand side of Cichoń's diagram where $\mathrm{cov}(\mathcal{N})$ is possibly singular, even with countable cofinality.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Cardinal characteristics associated with small subsets of reals
Authors:
Miguel A. Cardona,
Adam Marton,
Jaroslav Supina
Abstract:
Inspired by Bartoszyński's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszyński's and Shelah's characterization of $F_σ$ measure zero sets. We demonstrate that they are $σ$-ideals and provide characterizations of the families of all small sets and the…
▽ More
Inspired by Bartoszyński's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszyński's and Shelah's characterization of $F_σ$ measure zero sets. We demonstrate that they are $σ$-ideals and provide characterizations of the families of all small sets and the ideal induced by $F_σ$ measure zero sets. We also study the cardinal characteristics associated with the introduced ideals. We discuss their connection to Cichoń's diagram and present related consistency results.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
Authors:
Miguel A. Cardona
Abstract:
Let $\mathcal{E}$ be the ideal generated by the $F_σ$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of $\mathcal{E}$.
Let $\mathcal{E}$ be the ideal generated by the $F_σ$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of $\mathcal{E}$.
△ Less
Submitted 14 February, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Soft-linkedness
Authors:
Miguel A. Cardona
Abstract:
We have revised the softness property introduced by Brendle and Judah, resulting in the definition of a class of posets called $σ$-soft-linked. Our research demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connection between our concept and the Fréchet-linked notion introduced by Mejía.
We have revised the softness property introduced by Brendle and Judah, resulting in the definition of a class of posets called $σ$-soft-linked. Our research demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connection between our concept and the Fréchet-linked notion introduced by Mejía.
△ Less
Submitted 8 February, 2024; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Uniformity numbers of the null-additive and meager-additive ideals
Authors:
Miguel A. Cardona,
Diego A. Mejía,
Ismael E. Rivera-Madrid
Abstract:
Denote by $\mathcal{N}\!\mathcal{A}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of $2^ω$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{N}\!\mathcal{A})=\mathrm{non}(\mathcal{N}\!\mathcal{A})$ and introduce a new (Polish) relational system to reformulate Bartoszyński's and Judah's characterization of the uniformity of $\mathcal{MA}$, which is helpful to…
▽ More
Denote by $\mathcal{N}\!\mathcal{A}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of $2^ω$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{N}\!\mathcal{A})=\mathrm{non}(\mathcal{N}\!\mathcal{A})$ and introduce a new (Polish) relational system to reformulate Bartoszyński's and Judah's characterization of the uniformity of $\mathcal{MA}$, which is helpful to understand the combinatorics of $\mathcal{MA}$ and to prove consistency results. As for the latter, we prove that $\mathrm{cov}(\mathcal{MA})<\mathfrak{c}$ (even $\mathrm{cov}(\mathcal{MA})<\mathrm{non}(\mathcal{N})$) is consistent with ZFC, as well as several constellations of Cichoń's diagram with $\mathrm{non}(\mathcal{N}\!\mathcal{A})$, $\mathrm{non}(\mathcal{MA})$ and $\mathrm{add}(\mathcal{SN})$, which include $\mathrm{non}(\mathcal{N}\!\mathcal{A})<\mathfrak{b}< \mathrm{non}(\mathcal{MA})$ and $\mathfrak{b}< \mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{M})<\mathfrak{d}=\mathfrak{c}$.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
Separating cardinal characteristics of the strong measure zero ideal
Authors:
Jörg Brendle,
Miguel A. Cardona,
Diego A. Mejía
Abstract:
Let $\mathcal{SN}$ be the $σ$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm…
▽ More
Let $\mathcal{SN}$ be the $σ$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN}).\] 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).
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Localization and anti-localization cardinals
Authors:
Miguel A. Cardona,
Diego Alejandro Mejía
Abstract:
This paper is intended to survey the basics of localization and anti-localization cardinals on the reals, and its interplay with notions and cardinal characteristics related to measure and category.
This paper is intended to survey the basics of localization and anti-localization cardinals on the reals, and its interplay with notions and cardinal characteristics related to measure and category.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
More about the cofinality and the covering of the ideal of strong measure zero sets
Authors:
Miguel A. Cardona,
Diego A. Mejía
Abstract:
We improve the previous work of Yorioka and the first author about the combinatorics of the ideal $\mathcal{SN}$ of strong measure zero sets of reals. We refine the notions of dominating systems of the first author and introduce the new combinatorial principle $\mathrm{DS}(δ)$ that helps to find simple conditions to deduce $\mathfrak{d}_κ\leq \mathrm{cof}(\mathcal{SN})$ (where $\mathfrak{d}_κ$ is…
▽ More
We improve the previous work of Yorioka and the first author about the combinatorics of the ideal $\mathcal{SN}$ of strong measure zero sets of reals. We refine the notions of dominating systems of the first author and introduce the new combinatorial principle $\mathrm{DS}(δ)$ that helps to find simple conditions to deduce $\mathfrak{d}_κ\leq \mathrm{cof}(\mathcal{SN})$ (where $\mathfrak{d}_κ$ is the dominating number on $κ^κ$). In addition, we find a new upper bound of $\mathrm{cof}(\mathcal{SN})$ by using products of relational systems and cardinal characteristics associated with Yorioka ideals. In addition, we dissect and generalize results from Pawlikowski to force upper bounds of the covering of $\mathcal{SN}$, particularly for finite support iterations of precaliber posets.
Finally, as applications of our main theorems, we prove consistency results about the cardinal characteristics associated with $\mathcal{SN}$ and the principle $\mathrm{DS}(δ)$. For example, we show that $\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})=\mathfrak{c}<\mathrm{cof}(\mathcal{SN})$ holds in Cohen model, and we refine a result (and the proof) of the first author about the consistency of $\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$, with $\mathfrak{c}$ in any desired position with respect to $\mathrm{cof}(\mathcal{SN})$, and the improvement that $\mathrm{non}(\mathcal{SN})$ can be singular here.
△ Less
Submitted 26 April, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different
Authors:
Miguel A. Cardona
Abstract:
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.
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.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Forcing constellations of Cichoń's diagram by using the Tukey order
Authors:
Miguel A. Cardona,
Diego A. Mejía
Abstract:
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…
▽ More
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.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
Authors:
Miguel Antonio Cardona,
Lukas Daniel Klausner,
Diego Alejandro Mejía
Abstract:
Combining creature forcing approaches from arXiv:1003.3425 and arXiv:1402.0367, we show that, under CH, there is a proper $ω^ω$-bounding poset with $\aleph_2$-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-local…
▽ More
Combining creature forcing approaches from arXiv:1003.3425 and arXiv:1402.0367, we show that, under CH, there is a proper $ω^ω$-bounding poset with $\aleph_2$-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-localisation cardinals, respectively. This answers several open questions from arXiv:1805.11005.
△ Less
Submitted 3 May, 2024; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Tukey-order with models on Pawlikowski's theorems
Authors:
Miguel A. Cardona
Abstract:
In J. Symbolic Logic,51(4): 957-968, 1986, Pawlikowski proved that, if $r$ is a random real over $\mathbf{N}$, and $c$ is Cohen real over $\mathbf{N}[r]$, then
(a) in $\mathbf{N}[r][c]$ there is a Cohen real over $\mathbf{N}[c]$, and
(b) $2^ω\cap\mathbf{N}[c]\notin\mathcal{N}\cap\mathbf{N}[r][c]$, so in $\mathbf{N}[r][c]$ there is no random real over $\mathbf{N}[c]$.
To prove this, Pawlikows…
▽ More
In J. Symbolic Logic,51(4): 957-968, 1986, Pawlikowski proved that, if $r$ is a random real over $\mathbf{N}$, and $c$ is Cohen real over $\mathbf{N}[r]$, then
(a) in $\mathbf{N}[r][c]$ there is a Cohen real over $\mathbf{N}[c]$, and
(b) $2^ω\cap\mathbf{N}[c]\notin\mathcal{N}\cap\mathbf{N}[r][c]$, so in $\mathbf{N}[r][c]$ there is no random real over $\mathbf{N}[c]$.
To prove this, Pawlikowski proposes the following notion: Given two models $\mathbf{N}\subseteq \mathbf{M}$ of ZFC, we associate with a cardinal characteristic $\mathfrak{x}$ of the continuum, a sentence $\mathfrak{x}_\mathbf{N}^\mathbf{M}$ saying that in $\mathbf{M}$, the reals in $\mathbf{N}$ give an example of a family fulfilling the requirements of the cardinal. So to prove (a) and (b), it suffices to prove that
(a') $\mathrm{cov}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cof}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}}^{\mathbf{M}}$, and
(b') $\mathrm{cov}(\mathcal{M})_\mathbf{N}^\mathbf{M}\Rightarrow\mathrm{add}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{non}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}[c]}^{\mathbf{M}[c]}$.
In this paper, we introduce the notion of Tukey-order with models, which expands the concept of Tukey-order introduced by Vojtáš (Israel Math. Conf. Proc. 6: 619-643, 1991) to prove expressions of the form $\mathfrak{x}_\mathbf{N}^\mathbf{M}\Rightarrow\mathfrak{y}_\mathbf{N}^\mathbf{M}$. In particular, we show (a') and (b') using Tukey-order with models.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Cohen real or random real: effect on strong measure zero sets and strongly meager sets
Authors:
Miguel A. Cardona
Abstract:
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 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.
△ Less
Submitted 25 May, 2020; v1 submitted 16 May, 2020;
originally announced May 2020.
-
On cardinal characteristics associated with the strong measure zero ideal
Authors:
Miguel A. Cardona
Abstract:
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…
▽ More
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})$.
△ Less
Submitted 18 March, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
Yorioka's characterization of the cofinality of the strong measure zero ideal and its independency from the continuum
Authors:
Miguel A. Cardona
Abstract:
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
The covering number of the strong measure zero ideal can be above almost everything else
Authors:
Miguel A. Cardona,
Diego A. Mejía,
Ismael E. Rivera-Madrid
Abstract:
We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $\mathcal{SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used t…
▽ More
We show that certain type of tree forcings, including Sacks forcing, increases the covering of the strong measure zero ideal $\mathcal{SN}$. As a consequence, in Sacks model, such covering number is equal to the size of the continuum, which indicates that this covering number is consistently larger than any other classical cardinal invariant of the continuum. Even more, Sacks forcing can be used to force that $\mathrm{non}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$, which is the first consistency result where more than two cardinal invariants associated with $\mathcal{SN}$ are pairwise different. Another consequence is that $\mathcal{SN}\subseteq s^0$ in ZFC where $s^0$ denotes the Marczewski's ideal.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Filter-linkedness and its effect on preservation of cardinal characteristics
Authors:
Jörg Brendle,
Miguel A. Cardona,
Diego A. Mejía
Abstract:
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 techni…
▽ More
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.
△ Less
Submitted 3 July, 2020; v1 submitted 13 September, 2018;
originally announced September 2018.
-
On cardinal characteristics of Yorioka ideals
Authors:
Miguel A. Cardona,
Diego A. Mejía
Abstract:
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 inv…
▽ More
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.
△ Less
Submitted 19 May, 2018; v1 submitted 24 March, 2017;
originally announced March 2017.
