Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-24T13:52:05.231Z Has data issue: false hasContentIssue false

RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE

Published online by Cambridge University Press:  14 February 2022

DAVID ASPERÓ
Affiliation:
SCHOOL OF MATHEMATICS, UNIVERSITY OF EAST ANGLIANORWICHNR4 7TJ, UKE-mail:d.aspero@uea.ac.uk
MIGUEL ANGEL MOTA
Affiliation:
DEPARTAMENTO DE MATEMÁTICAS, ITAM, 01080MEXICO CITY, MEXICOE-mail:motagaytan@gmail.com
Rights & Permissions [Opens in a new window]

Abstract

Type
Retraction
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

We hereby retract our article, “Measuring club-sequences together with the continuum large,” published in The Journal of Symbolic Logic, vol. 82 (2017), no. 3, 1066–1079 [Reference Aspero and Mota1]. This article contains a fundamental error in the limit case of the proof of properness of the relevant forcing notion. More specifically, the main problems in this proof stem from the fact that, in the construction in this paper, there is a priori no way to ensure isomorphism, at the level of the predicates involved, of the models obtained via the relevant copying. We renounce our original claim of having solved the problem of forcing Measuring together with $2^{\aleph _0}>\aleph _2$ .

References

Aspero, D. and Mota, M. A., Measuring club-sequences together with the continuum large , this Journal, vol. 82 (2017), no. 3, pp. 10661079.Google Scholar