solidot新版网站常见问题,请点击这里查看。

Forcing and Construction Schemes. (arXiv:1711.11148v1 [math.LO])

来源于:arXiv
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$. 查看全文>>