Games on base matrices
Using a game characterization of distributivity, we show that base matrices for of regular height larger than necessarily have maximal branches which are not cofinal.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Using a game characterization of distributivity, we show that base matrices for P(ω)/fin of regular height larger than h necessarily have maximal branches which are not cofinal.
We construct a model in which there exists a distributivity matrix of regular height λ larger than h; both λ=c and λ<c are possible. A distributivity matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of B-Canjarness.
We prove that any suitable generalization of Laver forcing to the space κκ, for uncountable regular κ, necessarily adds a Cohen κ-real. We also study a dichotomy and an ideal naturally related to generalized Laver forcing. Using this dichotomy, we prove the following stronger result: if κ<κ=κ, then every <κ-distributive tree forcing on κκ adding a dominating κ-real which is the image of the generic under a continuous function in the ground model, adds a Cohen κ-real. This is a contribution to the study of generalized Baire spaces and answers a question from arXiv:1611.08140
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.