A Model in which the Base-Matrix Tree Cannot have Cofinal Branches
Dordal, Peter Lars
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 651-664 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
A model of ZFC is constructed in which the distributivity cardinal $\mathbf{h}$ is $2^{\aleph_0} = \aleph_2$, and in which there are no $\omega_2$-towers in $\lbrack\omega\rbrack^\omega$. As an immediate corollary, it follows that any base-matrix tree in this model has no cofinal branches. The model is constructed via a form of iterated Mathias forcing, in which a mixture of finite and countable supports is used.
Publié le : 1987-09-14
Classification:  
@article{1183742433,
     author = {Dordal, Peter Lars},
     title = {A Model in which the Base-Matrix Tree Cannot have Cofinal Branches},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 651-664},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742433}
}

Dordal, Peter Lars. A Model in which the Base-Matrix Tree Cannot have Cofinal Branches. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  651-664. http://gdmltest.u-ga.fr/item/1183742433/