Cofinality of the Laver ideal (Q335004): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Xianghui Shi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6646576 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Laver ideal | |||
Property / zbMATH Keywords: Laver ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cardinal invariants | |||
Property / zbMATH Keywords: cardinal invariants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
disjoint refinements | |||
Property / zbMATH Keywords: disjoint refinements / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-016-0510-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2523772594 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bases of measurability in Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cofinalities of Marczewski-like ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly dominating sets of reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Tree Ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimally generated Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On fields and ideals connected with notions of forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mycielski ideal and the perfect set theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On game ideals / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:14, 12 July 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