Hostname: page-component-76d6cb85b7-5qg8f Total loading time: 0 Render date: 2026-07-17T00:29:26.137Z 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.

Information

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.)

Article purchase

Temporarily unavailable