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.
Source author record
Wolfgang Wohofsky
Wolfgang Wohofsky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
6works
1topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
6 published item(s)
preprint2022arXiv
On heights of distributivity matrices
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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Laver Trees in the Generalized Baire Space
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
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Cofinalities of Marczewski-like ideals
We show that the cofinalities of both the Miller ideal m^0 (the sigma-ideal naturally related to Miller forcing) and the Laver ideal ell^0 (related to Laver forcing) are larger than the size of the continuum in ZFC.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Borel Conjecture and Dual Borel Conjecture
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
An overview of the proof in "Borel Conjecture and Dual Borel Conjecture"
This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.
0 citations0 reviewsNo code linkedOpen access