Hostname: page-component-74656f9884-rdgjk Total loading time: 0 Render date: 2026-11-07T12:16:49.124Z 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
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2017