Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-23T23:10:28.781Z Has data issue: false hasContentIssue false

RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE

Part of: Set theory

Published online by Cambridge University Press:  08 September 2017

DAVID ASPERÓ
Affiliation:
SCHOOL OF MATHEMATICS UNIVERSITY OF EAST ANGLIA NORWICH NR4 7TJ, UKE-mail: d.aspero@uea.ac.uk
MIGUEL ANGEL MOTA
Affiliation:
DEPARTAMENTO DE MATEMÁTICAS ITAM, MEXICO CITY 01080 MEXICOE-mail: motagaytan@gmail.com

Abstract

Measuring says that for every sequence ${\left( {{C_\delta }} \right)_{\delta < {\omega _1}}}$ with each ${C_\delta }$ being a closed subset of δ there is a club $C \subseteq {\omega _1}$ such that for every $\delta \in C$ , a tail of $C\mathop \cap \nolimits \delta$ is either contained in or disjoint from ${C_\delta }$ . We answer a question of Justin Moore by building a forcing extension satisfying measuring together with ${2^{{\aleph _0}}} > {\aleph _2}$ . The construction works over any model of ZFC + CH and can be described as a finite support forcing iteration with systems of countable structures as side conditions and with symmetry constraints imposed on its initial segments. One interesting feature of this iteration is that it adds dominating functions $f:{\omega _1} \to {\omega _1}$ mod. countable at each stage.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Abraham, U. and Shelah, S., On the intersection of closed unbounded sets, this JOURNAL, vol. 51 (1986), pp. 180189.Google Scholar
Asperó, D., The consistency of a club–guessing failure at the successor of a regular cardinal , Infinity, Computability, and Metamathematics: Festschrift Celebrating the 60th Birthdays of Peter Koepke and Philip Welch (Geschke, S., Löwe, B., and Schlicht, P., editors), College Publications, Tributes 23, London, 2014, pp. 527.Google Scholar
Asperó, D. and Mota, M. A., Forcing consequences of PFA together with the continuum large . Transactions of the American Mathematical Society, vol. 367 (2015), pp. 61036129.CrossRefGoogle Scholar
Asperó, D. and Mota, M. A., A generalization of Martin’s Axiom . Israel Journal of Mathematics, vol. 210 (2015), pp. 193231.CrossRefGoogle Scholar
Asperó, D. and Mota, M. A., Separating club–guessing principles in the presence of fat forcing axioms . Annals of Pure and Applied Logic, vol. 167 (2016), pp. 284308.CrossRefGoogle Scholar
Eisworth, T., Milovich, D., and Moore, J., Iterated forcing and the Continuum Hypothesis, Appalachian Set Theory 2006–2012 (Cummings, J. and Schimmerling, E., editors), London Mathematical Society Lecture Note Series, Cambridge University Press, New York, 2013, pp. 207244.Google Scholar
Goldstern, M., Tools for your forcing constructions , Set Theory of the Reals (Ramat Gan, 1991) (Judah, H., editor), Israel Mathematics Conference Proceedings, vol. 6, Bar-Ilan University, Ramat Gan, 1993, pp. 305360.Google Scholar
Jech, T., Set Theory, Springer, Berlin, 2002.Google Scholar
Kunen, K., Set Theory, An Introduction to Independence Proofs, North-Holland, Amsterdam, 1980.Google Scholar