Strongly dominating sets of reals (Q377470): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
In the paper by \textit{M. Goldstern} et al. [Proc. Am. Math. Soc. 123, No. 5, 1573--1581 (1995; Zbl 0823.03027)], the following three conditions are shown to be equivalent over for a Borel set \(A\subseteq {}^\omega\omega\): (1) \(A\) is strongly dominating, (2) \(A\) contains a Laver perfect set, and (3) Player I has a winning strategy in the dominating game for \(A\). In this article, the authors extend the domain of the above equivalence to \(\kappa\)-Suslin sets for \(\kappa< {\mathfrak b}\), in particular to all analytic sets. Let \({\mathcal D}\) denote the \(\sigma\)-ideal consisting of non-strongly dominating sets. The article shows that \({\mathcal D}\) is a proper subset of the Laver ideal \(l^{0}\). However, these two ideals coincide if they are restricted to analytic sets. In fact, the authors compare a number of subsystems of the Laver algebra \(l\), it turns out that \({\mathcal D}\) and \(l^{0}\) coincide when intersecting with these subsystems. The last two sections are some results on Laver perfect sets. One section is about a property of a natural partition of Baire space into Laver perfect sets. The other investigates several partial quasi-orderings over the set of all functions of the form \(g: {}^{<\omega}\omega\to [\omega]^{\omega}\). The distributivity cardinals for two of these partial quasi-orderings turn out to be equal, and the analysis yields a lower bound for \(\mathrm{add}(l^{0})\). | |||
Property / review text: In the paper by \textit{M. Goldstern} et al. [Proc. Am. Math. Soc. 123, No. 5, 1573--1581 (1995; Zbl 0823.03027)], the following three conditions are shown to be equivalent over for a Borel set \(A\subseteq {}^\omega\omega\): (1) \(A\) is strongly dominating, (2) \(A\) contains a Laver perfect set, and (3) Player I has a winning strategy in the dominating game for \(A\). In this article, the authors extend the domain of the above equivalence to \(\kappa\)-Suslin sets for \(\kappa< {\mathfrak b}\), in particular to all analytic sets. Let \({\mathcal D}\) denote the \(\sigma\)-ideal consisting of non-strongly dominating sets. The article shows that \({\mathcal D}\) is a proper subset of the Laver ideal \(l^{0}\). However, these two ideals coincide if they are restricted to analytic sets. In fact, the authors compare a number of subsystems of the Laver algebra \(l\), it turns out that \({\mathcal D}\) and \(l^{0}\) coincide when intersecting with these subsystems. The last two sections are some results on Laver perfect sets. One section is about a property of a natural partition of Baire space into Laver perfect sets. The other investigates several partial quasi-orderings over the set of all functions of the form \(g: {}^{<\omega}\omega\to [\omega]^{\omega}\). The distributivity cardinals for two of these partial quasi-orderings turn out to be equal, and the analysis yields a lower bound for \(\mathrm{add}(l^{0})\). / 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: 03E17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 91A44 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6223052 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
strongly dominating sets | |||
Property / zbMATH Keywords: strongly dominating sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Laver perfect sets | |||
Property / zbMATH Keywords: Laver perfect sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\kappa\)-Suslin sets | |||
Property / zbMATH Keywords: \(\kappa\)-Suslin sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Laver category base | |||
Property / zbMATH Keywords: Laver category base / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
domination game | |||
Property / zbMATH Keywords: domination game / rank | |||
Normal rank |
Revision as of 11:55, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly dominating sets of reals |
scientific article |
Statements
Strongly dominating sets of reals (English)
0 references
6 November 2013
0 references
In the paper by \textit{M. Goldstern} et al. [Proc. Am. Math. Soc. 123, No. 5, 1573--1581 (1995; Zbl 0823.03027)], the following three conditions are shown to be equivalent over for a Borel set \(A\subseteq {}^\omega\omega\): (1) \(A\) is strongly dominating, (2) \(A\) contains a Laver perfect set, and (3) Player I has a winning strategy in the dominating game for \(A\). In this article, the authors extend the domain of the above equivalence to \(\kappa\)-Suslin sets for \(\kappa< {\mathfrak b}\), in particular to all analytic sets. Let \({\mathcal D}\) denote the \(\sigma\)-ideal consisting of non-strongly dominating sets. The article shows that \({\mathcal D}\) is a proper subset of the Laver ideal \(l^{0}\). However, these two ideals coincide if they are restricted to analytic sets. In fact, the authors compare a number of subsystems of the Laver algebra \(l\), it turns out that \({\mathcal D}\) and \(l^{0}\) coincide when intersecting with these subsystems. The last two sections are some results on Laver perfect sets. One section is about a property of a natural partition of Baire space into Laver perfect sets. The other investigates several partial quasi-orderings over the set of all functions of the form \(g: {}^{<\omega}\omega\to [\omega]^{\omega}\). The distributivity cardinals for two of these partial quasi-orderings turn out to be equal, and the analysis yields a lower bound for \(\mathrm{add}(l^{0})\).
0 references
strongly dominating sets
0 references
Laver perfect sets
0 references
\(\kappa\)-Suslin sets
0 references
Laver category base
0 references
domination game
0 references