Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-26T13:08:49.161Z Has data issue: false hasContentIssue false
  • English
  • Français

RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE

Part of: Set theory

Published online by Cambridge University Press:  08 September 2017

DAVID ASPERÓ  and
MIGUEL ANGEL MOTA
DAVID ASPERÓ
Affiliation:
SCHOOL OF MATHEMATICS UNIVERSITY OF EAST ANGLIA NORWICH NR4 7TJ, UKE-mail: [email protected]
MIGUEL ANGEL MOTA
Affiliation:
DEPARTAMENTO DE MATEMÁTICAS ITAM, MEXICO CITY 01080 MEXICOE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

measuringlarge continuumiterated forcing with symmetric systems of models as side conditions

MSC classification

Primary: 03E50: Continuum hypothesis and Martin's axiom
Secondary: 03E35: Consistency and independence results 03E05: Other combinatorial set theory 03E17: Cardinal characteristics of the continuum
Type
Articles
Information
The Journal of Symbolic Logic , Volume 82 , Issue 3 , September 2017 , pp. 1066 - 1079
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. 180–189.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. 5–27.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. 6103–6129.CrossRefGoogle Scholar
Asperó, D. and Mota, M. A., A generalization of Martin’s Axiom . Israel Journal of Mathematics, vol. 210 (2015), pp. 193–231.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. 284–308.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. 207–244.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. 305–360.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
> Shelah, S., NNR revisited, [Sh:656] (2015). Available online at http://shelah.logic.at/short600.html.+Shelah,+S.,+NNR+revisited,+[Sh:656]+(2015).+Available+online+at+http://shelah.logic.at/short600.html.>Google Scholar