Abstract
In this note, I will list instances where in the literature on subcomplete forcing and its forcing principles (mostly in articles of my own), the assumption of the continuum hypothesis, or that we are working above the continuum, was omitted. I state the correct statements and provide or point to correct proofs. There are also some new results, most of which revolve around showing the necessity of the extra assumption.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Data availability
No datasets were generated or analysed during the current study.
References
Claverie, B., Schindler, R.: Increasing \(u_2\) by a stationary set preserving forcing. J. Symb. Log. 74(1), 187–200 (2009)
Cox, S.D., Fuchs, G.: The diagonal strong reflection principle and its fragments. J. Symb. Log. 88(3), 1281–1309 (2023)
Fuchs, G.: Closure properties of parametric subcompleteness. Arch. Math. Log. 57(7–8), 829–852 (2018)
Fuchs, G.: Hierarchies of forcing axioms, the continuum hypothesis and square principles. J. Symb. Log. 83(1), 256–282 (2018)
Fuchs, G.: Diagonal reflections on squares. Arch. Math. Log. 58(1), 1–26 (2019)
Fuchs, G.: Aronszajn tree preservation and bounded forcing axioms. J. Symb. Log. 86(1), 293–315 (2021)
Fuchs, G.: Canonical fragments of the strong reflection principle. J. Math. Log. 21(03), 2150023 (2021)
Fuchs, G., Lambie-Hanson, C.: Separating diagonal stationary reflection principles. J. Symb. Log. 86(1), 262–292 (2021)
Fuchs, G., Switzer, C.B.: Iteration theorems for subversions of forcing classes. Under review, pp. 1–45 (2023). arXiv:2006.13376v2 [math.LO]
Jensen, R.B.: Forcing axioms compatible with CH. Handwritten notes (2009). Available at https://www.mathematik.hu-berlin.de/~raesch/org/jensen.html,
Jensen, R.B.: Subproper and subcomplete forcing. Handwritten notes (2009). Available at https://www.mathematik.hu-berlin.de/~raesch/org/jensen.html
Jensen, R.B.: Subcomplete forcing and \({\cal{L} }\)-forcing. In: Chong, C., Feng, Q., Slaman, T.A., Woodin, W.H., Yang, Y. (eds.) E-recursion, Forcing and \(C^*\)-Algebras. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 27, pp. 83–182. World Scientific, Singapore (2014)
Larson, P.: Separating stationary reflection principles. J. Symb. Log. 65(1), 247–258 (2000)
Sakai, H., Switzer, C.B.: Separating subversion forcing principles. arXiv:2308.16276 [math.LO] (2023)
Acknowledgements
I would like to thank the people who were involved in the discovery and analysis of the omitted assumption: Sean Cox, Hiroshi Sakai and Corey Switzer.
Funding
This work was supported by the Simons Foundation Under Grant Number 580600.
Author information
Authors and Affiliations
Contributions
G.F. wrote the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Fuchs, G. Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing. Arch. Math. Logic 63, 509–521 (2024). https://doi.org/10.1007/s00153-024-00905-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-024-00905-w