Cofinality of the Laver ideal (Q335004): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:34, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cofinality of the Laver ideal |
scientific article |
Statements
Cofinality of the Laver ideal (English)
0 references
1 November 2016
0 references
This paper reproves a result of Yurii Khomskii that the inequality \(\text{cof}(l^0)>{\mathfrak c}\) holds under ZFC. Khomskii's proof is contained in a preprint of \textit{J. Brendle} et al. [``Cofinality of Marczewski ideals'', Preprint, \url{arXiv:1611.08143}]. Here, \(l^0\) denotes the Laver ideal. The value of this paper is that it provides a few sufficient conditions for this inequality and proves a few slightly stronger inequalities, \(\text{cof}(l^0)={\mathfrak d}({}^{\mathfrak c} l^0) \geq {\mathfrak d}({}^{\mathfrak c}{\mathfrak c}) > {\mathfrak c}\), which also applicable to other tree ideals. The author also proved a result regarding the disjoint refinements of Boolean algebras -- given a Boolean algebra \(B\) with cellularity hereditarily \(\geq \kappa\), every \(\kappa\)-sequence of \(B\setminus \{0\}\) can be refined by a disjoint \(\kappa\)-subsequence. This is relevant to the aforementioned sufficient conditions.
0 references
Laver ideal
0 references
cardinal invariants
0 references
disjoint refinements
0 references