BZPEERSource 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
We provide a counterexample to the Category Dichotomy in the framework of ZFC. That is, we prove the existence of an ideal on ω that is not Katětov below nwd and does not have restrictions above ED. We also prove that in the Laver model every tall P-ideal is Katětov-Blass above EDfin and that it is consistent that every Q+ ideal is meager.
We study some strong combinatorial properties of MAD families. An ideal I is Shelah-Steprāns if for every set X⊆[ω]<ω there is an element of I that either intersects every set in X or contains infinitely many members of it. We prove that a Borel ideal is Shelah-Steprāns if and only if it is Katětov above the ideal fin×fin. We prove that Shelah-Steprāns MAD families have strong indestructibility properties (in particular, they are both Cohen and random indestructible). We also consider some other strong combinatorial properties of MAD families. Finally, it is proved that it is consistent to have non(M)=ℵ1 and no Shelah-Steprāns families of size ℵ1.
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products. We also construct examples that demonstrate the optimality of the conditions in \IIA, and list a number of open questions.
A question dating to Sibe Mardešić and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC axioms for the higher derived limits limn (n>0) of a certain inverse system A indexed by ωω to simultaneously vanish. An equivalent formulation of this question is that of whether it is consistent for all n-coherent families of functions indexed by ωω to be trivial. In this paper, we prove that, in any forcing extension given by adjoining ℶω-many Cohen reals, limnA vanishes for all n>0. Our proof involves a detailed combinatorial analysis of the forcing extension and repeated applications of higher dimensional Δ-system lemmas. This work removes all large cardinal hypotheses from the main result of arXiv:1907.11744 and substantially reduces the least value of the continuum known to be compatible with the simultaneous vanishing of limnA for all n>0.
We construct, in ZFC, a countably compact subgroup of 2c without non-trivial convergent sequences, answering an old problem of van Douwen. As a consequence we also prove the existence of two countably compact groups G0 and G1 such that the product G0×G1 is not countably compact, thus answering a classical problem of Comfort.
We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if MAc(P(ω)/fin) holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family A of size less than c whose hyperspace is not pseudocompact.
Building on previous work of [BPS] we investigate σ-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every σ-closed partial order of size continuum has a base tree and that (2) σ-closed forcing notions of density c correspond exactly to regular suborders of the collapsing algebra Coll(ω1,2ω). We further study some naturally ocurring examples of such partial orders.
A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, e.g., that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that Hausdorff dimension of the graph of such a function is 1.
We will present a collection of guessing principles which have a similar relationship to ⋄ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing ⋄ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and ⋄ in models such as those of Laver, Miller, and Sacks.
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.