Seven characterizations of non-meager \mathsf P-filters

DOI10.4064/FM231-2-5MaRDI QIDQ5259647zbMATH OpenOpenAlexFDO

Authors Kenneth Kunen, Andrea Medini, Lyubomyr Zdomskyy

Publication date 26 June 2015

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

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)

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)$.

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 }\)

Cites work

• scientific article; zbMATH DE number 5375556 (Why is no real title available?)
• Countable dense homogeneity and the Baire property
• Countable dense homogeneous filters and the Menger covering property
• The topology of ultrafilters as subspaces of \(2^{\omega }\)

Cited in

(16)

• Non-meager \(P\)-filters are countable dense homogeneous
• Countable dense homogeneity of function spaces
• \(G_\delta \) and co-meager semifilters
• On the structure of measurable filters on a countable set
• Open problems on countable dense homogeneity
• Towers in filters, cardinal invariants, and Luzin type families
• $\omega $-diagonalizability of $F_\sigma $ filters
• OK-extendible filters on \(\omega\)
• P-filters and the perfect set property
• P-filters and Cohen, random, and Laver forcing
• Non-meager free sets and independent families
• A homogeneous space whose complement is rigid
• Between Polish and completely Baire
• Cardinalities of noncentered systems of subsets of \(\omega\)
• A countable dense homogeneous topological vector space is a Baire space
• Strong meager properties for filters

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)