530 research outputs found

    Seven characterizations of non-meager P-filters

    Full text link
    We give several topological/combinatorial conditions that, for a filter on ω\omega, are equivalent to being a non-meager P\mathsf{P}-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager P\mathsf{P}-filter. Here, we identify a filter with a subspace of 2ω2^\omega through characteristic functions. Along the way, we generalize to non-meager P\mathsf{P}-filters a result of Miller about P\mathsf{P}-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hern\'andez-Guti\'errez and Hru\v{s}\'ak, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager P\mathsf{P}-subfilter" is independent of ZFC\mathsf{ZFC} (more precisely, it is a consequence of u<g\mathfrak{u}<\mathfrak{g} and its negation is a consequence of \Diamond). It follows from results of Hru\v{s}\'ak and van Mill that, under u<g\mathfrak{u}<\mathfrak{g}, a filter has less than c\mathfrak{c} types of countable dense subsets if and only if it is a non-meager P\mathsf{P}-filter. In particular, under u<g\mathfrak{u}<\mathfrak{g}, there exists an ultrafilter with c\mathfrak{c} types of countable dense subsets. We also show that such an ultrafilter exists under MA(countable)\mathsf{MA(countable)}.Comment: 17 page

    On well-splitting posets

    Full text link
    We introduce a class of proper posets which is preserved under countable support iterations, includes ωω\omega^\omega-bounding, Cohen, Miller, and Mathias posets associated to filters with the Hurewicz covering properties, and has the property that the ground model reals remain splitting and unbounded in corresponding extensions. Our results may be considered as a possible path towards solving variations of the famous Roitman problem.Comment: 10 pages. This is the submitted version, but it is rather close to the accepted on

    On the lattice of weak topologies on the bicyclic monoid with adjoined zero

    Get PDF
    A Hausdorff topology τ\tau on the bicyclic monoid with adjoined zero C0\mathcal{C}^0 is called {\em weak} if it is contained in the coarsest inverse semigroup topology on C0\mathcal{C}^0. We show that the lattice W\mathcal{W} of all weak shift-continuous topologies on C0\mathcal{C}^0 is isomorphic to the lattice of all shift-invariant filters on ω\omega with an attached element 11 endowed with the following partial order: FG\mathcal{F}\leq \mathcal{G} iff G=1\mathcal{G}=1 or FG\mathcal{F}\subset \mathcal{G}. Also, we investigate cardinal characteristics of the lattice W\mathcal{W}. In particular, we proved that W\mathcal{W} contains an antichain of cardinality 2c2^{\mathfrak{c}} and a well-ordered chain of cardinality c\mathfrak{c}. Moreover, there exists a well-ordered chain of first-countable weak topologies of order type t\mathfrak{t}
    corecore