Answers are grounded in this paper and cite their sources.
Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω1, has the following property: every subsequence of size ℵ1, has a finite intersection.
No takes yet. Share an insight, caveat, or question.
Abraham et al. (1986) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: