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
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.
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.
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.