Some structural aspects of the Katětov order on Borel ideals (Q304172): 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 | |||
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 | |||
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/s11083-015-9358-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2139530484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When does the Katětov order imply that one ideal extends the other? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic quotients: theory of liftings for quotients over analytic ideals on the integers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3001418 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Katětov order on Borel ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordering MAD families a la Katětov / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4913623 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ramsey type properties of ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4067748 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:56, 12 July 2024
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
0 references