English

Forcing and Construction Schemes

Logic 2018-01-23 v2

Abstract

We investigate forcing and independence questions relating to construction schemes. We show that adding κω1\kappa\geq\omega_1 Cohen reals adds a capturing construction scheme. We study the weaker structure of nn-capturing construction schemes and show that it is consistent to have nn-capturing construction schemes but no (n+1)(n+1)-capturing construction schemes. We also study the relation of nn-capturing with the mm-Knaster hierarchy and show that MAω1(_{\omega_1}(Km)_m) and nn-capturing are independent if nmn\leq m and incompatible if n>mn>m.

Keywords

Cite

@article{arxiv.1711.11148,
  title  = {Forcing and Construction Schemes},
  author = {Damjan Kalajdzievski and Fulgencio Lopez},
  journal= {arXiv preprint arXiv:1711.11148},
  year   = {2018}
}

Comments

12 pages, submitted to Acta Math. Hung

R2 v1 2026-06-22T23:01:42.161Z