Games on base matrices
Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(ω)/\text{fin}$ of regular height larger than $\mathfrak{h}$ necessarily have maximal branches which are not cofinal.
Discover
Research tools
Network
Opportunities
Account
Source author record
Marlene Koelbing appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(ω)/\text{fin}$ of regular height larger than $\mathfrak{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 $\mathfrak{h}$; both $λ= \mathfrak{c}$ and $λ< \mathfrak{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 $\mathcal{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