Multiple gaps and some finitizations of club and CH
Abstract
We continue the development of the theory of capturing schemes over ω1 by analyzing the relation between the capturing construction schemes (whose existence is implied by Jensen's -principle) and both the Continuum Hypothesis and Ostaszewski's -principle. Formally, we show that the property of being capturing can be viewed as the conjunction of two properties, one of which is implied by and the other one by CH. We apply these principles to construct multiple gaps, entangled sets and metric spaces without uncountable monotone subspaces.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.