Seven characterizations of non-meager \mathsf P-filters

DOI10.4064/FM231-2-5zbMATH Open1337.54028arXiv1311.1677OpenAlexW2496133613MaRDI QIDQ5259647FDOQ5259647

Authors: Kenneth Kunen, Andrea Medini, Lyubomyr Zdomskyy 

Publication date: 26 June 2015

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: We give several topological/combinatorial conditions that, for a filter on $omega$, are equivalent to being a non-meager $mathsfP$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $mathsfP$-filter. Here, we identify a filter with a subspace of $2^{o}mega$ through characteristic functions. Along the way, we generalize to non-meager $mathsfP$-filters a result of Miller about $mathsfP$-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hern'andez-Guti'errez and Hruv{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 $mathsfP$-subfilter" is independent of $mathsfZFC$ (more precisely, it is a consequence of $mathfraku<mathfrakg$ and its negation is a consequence of $Diamond$). It follows from results of Hruv{s}'ak and van Mill that, under $mathfraku<mathfrakg$, a filter has less than $mathfrakc$ types of countable dense subsets if and only if it is a non-meager $mathsfP$-filter. In particular, under $mathfraku<mathfrakg$, there exists an ultrafilter with $mathfrakc$ types of countable dense subsets. We also show that such an ultrafilter exists under $mathsfMA(countable)$.

Full work available at URL: https://arxiv.org/abs/1311.1677

Recommendations

• Countable dense homogeneous filters and the Menger covering property
• Fubini properties for filter-related \(\sigma\)-ideals.
• scientific article; zbMATH DE number 218607
• Strong meager properties for filters
• A finite intersection property and the Loeb measurability of ultrafilters on hyperfinite sets
• P-filters and the perfect set property
• Non-meager free sets and independent families
• On the structure of measurable filters on a countable set
• The topology of ultrafilters as subspaces of \(2^{\omega }\)

zbMATH Keywords

filterultrafiltercompletely Bairecountable dense homogeneityP-filter

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Peculiar topological spaces (54G99)

Cites Work

• Countable dense homogeneity and the Baire property
• The topology of ultrafilters as subspaces of \(2^{\omega }\)
• Countable dense homogeneous filters and the Menger covering property
• Title not available (Why is that?)

Cited In (12)

• $\omega $-diagonalizability of $F_\sigma $ filters
• A countable dense homogeneous topological vector space is a Baire space
• Non-meager \(P\)-filters are countable dense homogeneous
• A homogeneous space whose complement is rigid
• Countable dense homogeneity of function spaces
• Between Polish and completely Baire
• P-filters and Cohen, random, and Laver forcing
• Open problems on countable dense homogeneity
• TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES
• On the structure of measurable filters on a countable set
• Non-meager free sets and independent families
• Cardinalities of noncentered systems of subsets of \(\omega\)

This page was built for publication: Seven characterizations of non-meager \mathsf P-filters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259647)