Some structural aspects of the Katětov order on Borel ideals (Q304172): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Katětov orders are a natural extension of Rudin-Keisler orders of ultrafilters to filters/ideals on \(\omega\). In this paper, the authors focus on the Katětov order restricted to Borel ideals and present three structural properties of this order. The first result (see \S2) is that one can embed \(\mathcal{P}(\omega)/ \mathrm{Fin}\) into the above restricted Katětov order (in fact, further restricted to the family of summable ideals on \(\omega\)). Therefore, as a corollary, in the Katětov order there are ascending and descending chains of length \(\mathfrak{b}\), as well as antichains of continuum size. In \S3, they define by recursion that a sequence \(\langle (X_\alpha, \mathrm{Fin}^{\alpha}):\alpha<\omega_1\rangle\) such that each \(X_\alpha\) is countable and \(\mathrm{Fin}^\alpha\) is a Borel ideal on \(X_\alpha\). They show that the sequence \(\langle \mathrm{Fin}^\alpha: \alpha < \omega_1 \rangle\) is increasing in the Katětov order. This is their second result. As a contrast, their third result (see \S4) says that in the Cohen model, the Katětov order restricted to Borel ideals contains no ascending nor descending chains of continuum length. This answers a question of \textit{M. Hrušák} [Contemp. Math. 533, 29--69 (2011; Zbl 1239.03030)]. | |||
Property / review text: Katětov orders are a natural extension of Rudin-Keisler orders of ultrafilters to filters/ideals on \(\omega\). In this paper, the authors focus on the Katětov order restricted to Borel ideals and present three structural properties of this order. The first result (see \S2) is that one can embed \(\mathcal{P}(\omega)/ \mathrm{Fin}\) into the above restricted Katětov order (in fact, further restricted to the family of summable ideals on \(\omega\)). Therefore, as a corollary, in the Katětov order there are ascending and descending chains of length \(\mathfrak{b}\), as well as antichains of continuum size. In \S3, they define by recursion that a sequence \(\langle (X_\alpha, \mathrm{Fin}^{\alpha}):\alpha<\omega_1\rangle\) such that each \(X_\alpha\) is countable and \(\mathrm{Fin}^\alpha\) is a Borel ideal on \(X_\alpha\). They show that the sequence \(\langle \mathrm{Fin}^\alpha: \alpha < \omega_1 \rangle\) is increasing in the Katětov order. This is their second result. As a contrast, their third result (see \S4) says that in the Cohen model, the Katětov order restricted to Borel ideals contains no ascending nor descending chains of continuum length. This answers a question of \textit{M. Hrušák} [Contemp. Math. 533, 29--69 (2011; Zbl 1239.03030)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Xianghui Shi / 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 / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6619131 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Borel ideals | |||
Property / zbMATH Keywords: Borel ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Katětov order | |||
Property / zbMATH Keywords: Katětov order / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cohen model | |||
Property / zbMATH Keywords: Cohen model / rank | |||
Normal rank |
Revision as of 22:37, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some structural aspects of the Katětov order on Borel ideals |
scientific article |
Statements
Some structural aspects of the Katětov order on Borel ideals (English)
0 references
24 August 2016
0 references
Katětov orders are a natural extension of Rudin-Keisler orders of ultrafilters to filters/ideals on \(\omega\). In this paper, the authors focus on the Katětov order restricted to Borel ideals and present three structural properties of this order. The first result (see \S2) is that one can embed \(\mathcal{P}(\omega)/ \mathrm{Fin}\) into the above restricted Katětov order (in fact, further restricted to the family of summable ideals on \(\omega\)). Therefore, as a corollary, in the Katětov order there are ascending and descending chains of length \(\mathfrak{b}\), as well as antichains of continuum size. In \S3, they define by recursion that a sequence \(\langle (X_\alpha, \mathrm{Fin}^{\alpha}):\alpha<\omega_1\rangle\) such that each \(X_\alpha\) is countable and \(\mathrm{Fin}^\alpha\) is a Borel ideal on \(X_\alpha\). They show that the sequence \(\langle \mathrm{Fin}^\alpha: \alpha < \omega_1 \rangle\) is increasing in the Katětov order. This is their second result. As a contrast, their third result (see \S4) says that in the Cohen model, the Katětov order restricted to Borel ideals contains no ascending nor descending chains of continuum length. This answers a question of \textit{M. Hrušák} [Contemp. Math. 533, 29--69 (2011; Zbl 1239.03030)].
0 references
Borel ideals
0 references
Katětov order
0 references
Cohen model
0 references