solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看2723次
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$. 查看全文>>