Forcing and Construction Schemes
classification
🧮 math.LO
keywords
capturingconstructionschemesforcingomegaaddingaddscohen
read the original abstract
We investigate forcing and independence questions relating to construction schemes. We show that adding $\kappa\geq\omega_1$ Cohen reals adds a capturing construction scheme. We study the weaker structure of $n$-capturing construction schemes and show that it is consistent to have $n$-capturing construction schemes but no $(n+1)$-capturing construction schemes. We also study the relation of $n$-capturing with the $m$-Knaster hierarchy and show that MA$_{\omega_1}($K$_m)$ and $n$-capturing are independent if $n\leq m$ and incompatible if $n>m$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.