Abstract
Modulo the existence of large cardinals, there is a model of set theory in which, for some set B of regular cardinals, the sequence \(\langle \textrm{pcf}^\alpha (B): \alpha \in \textrm{Ord}\rangle \) is strictly increasing. The result answers a question from Tsukuura (Tsukuba J Math 45(2):83–95, 2021).
Similar content being viewed by others
Notes
This can always be done by forcing below a condition, which forces each element of the Radin club to be in \(A''\).
Indeed one can say more. Given a condition \(p \in \mathbb {R}\) such that \(\alpha \) and \(\beta \) appear as successive points in p, one can factor \(\mathbb {R}/p\) as \(\big (\mathbb {R}^{< \alpha }/ p(<\alpha )\big ) \times \big (\prod _{i<4} \textrm{Add}(\beth _i(\alpha ), \beth _{i+1}(\alpha )) \times \textrm{Add}(\beth _4(\alpha ), \beta ) \big ) \times \big (\mathbb {R}^{>\beta } / p(>\beta ) \big )\). Note that this representation does not depend on the club C, but once we have C, given \(\alpha \in C\), \(\beta =\min (C {\setminus } (\alpha +1))\) and \(p \in {\textbf {G}}\), we can always find an extension q of p such that \(q \in {\textbf {G}}_{\mathbb {R}}\) and \(\alpha \) and \(\beta \) appear in q.
See (2-2)(c).
Indeed, it is forced to have more closure properties, but \(\zeta _{\beta , k}^+\)-directed closedness is sufficient for us.
Note that the Cohen forcing notions on both iterands of \({\mathbb {K}}\) are defined in the same universe, so the equivalence follows from the fact that \({\textrm{Add}}(\zeta _{\beta , j}, \zeta _{\beta , j+1}) \times {\textrm{Add}}(\zeta _{\beta , j}, \zeta _{\beta , j+1}) \simeq {\textrm{Add}}(\zeta _{\beta , j}, \zeta _{\beta , j+1}).\)
When \(k=0\), the forcing becomes the trivial forcing, so the conclusion is still clear, and we can for example take \(\zeta ^+_{\beta , -1}=\aleph _1.\)
References
A.W. Apter, J.D. Hamkins, Universal indestructibility. Kobe J. Math. 16(2), 119–130 (1999)
M. Foreman, W.H. Woodin, The generalized continuum hypothesis can fail everywhere. Ann. Math. (2) 133(1), 1–35 (1991)
T. Jech, On the Cofinality of Countable Products of Cardinal Numbers. A Tribute to Paul Erdos (Cambridge University Press, Cambridge, 1990), pp.285–305
R. Laver, Making the supercompactness of \(\kappa \) indestructible under \(\kappa \)-directed closed forcing. Israel J. Math. 29(4), 385–388 (1978)
M. Magidor, Changing cofinality of cardinals. Fund. Math. 99(1), 61–71 (1978)
S. Shelah, Cardinal arithmetic. Oxford Logic Guides, 29. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York. xxxii+481 pp. ISBN: 0-19-853785-9 (1994)
K. Tsukuura, Prikry-type forcing and the set of possible cofinalities. Tsukuba J. Math. 45(2), 83–95 (2021)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author’s research has been supported by a grant from IPM (No. 1401030417). He thanks the referee of the paper for his many useful remarks and suggestions that improved the presentation of the paper.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Golshani, M. Unlimited accumulation by Shelah’s PCF operator. Period Math Hung 88, 273–280 (2024). https://doi.org/10.1007/s10998-023-00553-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10998-023-00553-2