Related papers: On well-splitting posets
We prove that any countable support iteration formed with posets with $\omega_2$-p.i.c.\ has $\omega_2$-c.c., assuming CH in the ground model and assuming also that $\omega_1$ is not collapsed. This improves earlier results of Shelah by…
We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13…
We give topological characterizations of filters $F$ on $w$ such that the Mathias forcing $M_F$ adds no dominating reals or preserves ground model unbounded families. This allows us to answer some questions of Brendle, Guzm\'an,…
We present the classical theory of preservation of $\sqsubset$-unbounded families in generic extensions by ccc posets, where $\sqsubset$ is a definable relation of certain type on spaces of real numbers, typically associated with some…
We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of…
We study the relation between the Hurewicz and Menger properties of filters considered topologically as subspaces of P(\omega) with the Cantor set topology.
We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of the real line R (thus strictly o-bounded) which have the Hurewicz property but are not sigma-compact,…
We prove that in the Miller model the Menger property is preserved by finite products of metrizable spaces. This answers several open questions and gives another instance of the interplay between classical forcing posets with fusion and…
We use coherent systems of FS iterations on a power set, which can be seen as matrix iteration that allows restriction on arbitrary subsets of the vertical component, to prove general theorems about preservation of certain type of unbounded…
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…
The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex…
A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals…
This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and…
We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods…
Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism.…
For a certain class of finite posets, we prove that all their irreducible orthoscalar representations are finite-dimensional and describe those, for which there exist essential (non-degenerate) irreducible orthoscalar representations.
We develop Grothendieck's theory of dualizing complexes on finite posets, and its subsequent theory of Cohen-Macaulayness.
Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are…
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. It has been a challenging open problem to determine which posets have real-rooted chain polynomials. Two new classes of…
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…