Bounded stationary reflection. II. (Q331046): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\lambda>\omega_1\) be a regular cardinal. If \(S\subseteq\lambda\) is a stationary set and \(\alpha<\lambda\) is of uncountable cofinality, then \(S\) \textit{reflects at \(\alpha\)} if \(S\cap\alpha\) is stationary in \(\alpha\). Further, \(S\) \textit{reflects} if there is an \(\alpha<\lambda\) of uncountable cofinality such that \(S\) reflects at \(\alpha\). For \(\mu\) a singular cardinal and \(\lambda=\mu^{+}\), \(\mathrm{Refl}(\lambda)\) holds If every stationary subset of \(\lambda\) reflects. In addition, a stationary \(S\subseteq\lambda\) \textit{reflects at arbitrarily high cofinalities} if for all \(\kappa<\mu\) there is an \(\alpha<\lambda\) such that \(\mathrm{cf}(\alpha)\geq\kappa\) and \(S\) reflects at \(\alpha\). The key notion for this article is that of \textit{bounded stationary reflection}: for \(\mu\) and \(\lambda\) as above, \(\mathrm{bRefl}(\lambda)\) holds if \(\mathrm{Refl}(\lambda)\) but there is a stationary \(T\subseteq\lambda\) that does not reflect at arbitrarily high cofinalities. \textit{T. Eisworth} [in: Handbook of set theory. In 3 volumes. Dordrecht: Springer. 1229--1350 (2010; Zbl 1198.03049)] posed the question of the consistency of \(\mathrm{bRefl}(\lambda)\). The author and \textit{J. Cummings} in [Proc. Am. Math. Soc. 144, No. 2, 861--873 (2016; Zbl 1353.03053)] showed that, under the assumption of a proper class of supercompact cardinals, there is a class forcing extension in which, for every singular cardinal \(\mu>\aleph_{\omega}\) that is not a cardinal fixed point, \(\mathrm{bRefl}(\mu^{+})\) holds. Left open was the question of whether \(\mathrm{bRefl}(\mu^{+})\) holds for every singular cardinal \(\mu>\aleph_{\omega}\). The author provides a positive answer to this question and proves several variations of the theorem cited above. | |||
Property / review text: Let \(\lambda>\omega_1\) be a regular cardinal. If \(S\subseteq\lambda\) is a stationary set and \(\alpha<\lambda\) is of uncountable cofinality, then \(S\) \textit{reflects at \(\alpha\)} if \(S\cap\alpha\) is stationary in \(\alpha\). Further, \(S\) \textit{reflects} if there is an \(\alpha<\lambda\) of uncountable cofinality such that \(S\) reflects at \(\alpha\). For \(\mu\) a singular cardinal and \(\lambda=\mu^{+}\), \(\mathrm{Refl}(\lambda)\) holds If every stationary subset of \(\lambda\) reflects. In addition, a stationary \(S\subseteq\lambda\) \textit{reflects at arbitrarily high cofinalities} if for all \(\kappa<\mu\) there is an \(\alpha<\lambda\) such that \(\mathrm{cf}(\alpha)\geq\kappa\) and \(S\) reflects at \(\alpha\). The key notion for this article is that of \textit{bounded stationary reflection}: for \(\mu\) and \(\lambda\) as above, \(\mathrm{bRefl}(\lambda)\) holds if \(\mathrm{Refl}(\lambda)\) but there is a stationary \(T\subseteq\lambda\) that does not reflect at arbitrarily high cofinalities. \textit{T. Eisworth} [in: Handbook of set theory. In 3 volumes. Dordrecht: Springer. 1229--1350 (2010; Zbl 1198.03049)] posed the question of the consistency of \(\mathrm{bRefl}(\lambda)\). The author and \textit{J. Cummings} in [Proc. Am. Math. Soc. 144, No. 2, 861--873 (2016; Zbl 1353.03053)] showed that, under the assumption of a proper class of supercompact cardinals, there is a class forcing extension in which, for every singular cardinal \(\mu>\aleph_{\omega}\) that is not a cardinal fixed point, \(\mathrm{bRefl}(\mu^{+})\) holds. Left open was the question of whether \(\mathrm{bRefl}(\mu^{+})\) holds for every singular cardinal \(\mu>\aleph_{\omega}\). The author provides a positive answer to this question and proves several variations of the theorem cited above. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: J. M. Plotkin / 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: 03E55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E04 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6643765 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
stationary reflection | |||
Property / zbMATH Keywords: stationary reflection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
approachability | |||
Property / zbMATH Keywords: approachability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
forcing | |||
Property / zbMATH Keywords: forcing / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large cardinals | |||
Property / zbMATH Keywords: large cardinals / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2514983935 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1505.03395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on singular cardinal combinatorics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded stationary reflection / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Successors of Singular Cardinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A very weak square principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflecting stationary sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: When Does Almost Free Imply Free? (For Groups, Transversals, etc.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3895456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflecting stationary sets and successors of singular cardinals / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:09, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounded stationary reflection. II. |
scientific article |
Statements
Bounded stationary reflection. II. (English)
0 references
26 October 2016
0 references
Let \(\lambda>\omega_1\) be a regular cardinal. If \(S\subseteq\lambda\) is a stationary set and \(\alpha<\lambda\) is of uncountable cofinality, then \(S\) \textit{reflects at \(\alpha\)} if \(S\cap\alpha\) is stationary in \(\alpha\). Further, \(S\) \textit{reflects} if there is an \(\alpha<\lambda\) of uncountable cofinality such that \(S\) reflects at \(\alpha\). For \(\mu\) a singular cardinal and \(\lambda=\mu^{+}\), \(\mathrm{Refl}(\lambda)\) holds If every stationary subset of \(\lambda\) reflects. In addition, a stationary \(S\subseteq\lambda\) \textit{reflects at arbitrarily high cofinalities} if for all \(\kappa<\mu\) there is an \(\alpha<\lambda\) such that \(\mathrm{cf}(\alpha)\geq\kappa\) and \(S\) reflects at \(\alpha\). The key notion for this article is that of \textit{bounded stationary reflection}: for \(\mu\) and \(\lambda\) as above, \(\mathrm{bRefl}(\lambda)\) holds if \(\mathrm{Refl}(\lambda)\) but there is a stationary \(T\subseteq\lambda\) that does not reflect at arbitrarily high cofinalities. \textit{T. Eisworth} [in: Handbook of set theory. In 3 volumes. Dordrecht: Springer. 1229--1350 (2010; Zbl 1198.03049)] posed the question of the consistency of \(\mathrm{bRefl}(\lambda)\). The author and \textit{J. Cummings} in [Proc. Am. Math. Soc. 144, No. 2, 861--873 (2016; Zbl 1353.03053)] showed that, under the assumption of a proper class of supercompact cardinals, there is a class forcing extension in which, for every singular cardinal \(\mu>\aleph_{\omega}\) that is not a cardinal fixed point, \(\mathrm{bRefl}(\mu^{+})\) holds. Left open was the question of whether \(\mathrm{bRefl}(\mu^{+})\) holds for every singular cardinal \(\mu>\aleph_{\omega}\). The author provides a positive answer to this question and proves several variations of the theorem cited above.
0 references
stationary reflection
0 references
approachability
0 references
forcing
0 references
large cardinals
0 references
0 references