Displaying similar documents to “On the extensibility of closed filters in T 1 spaces and the existence of well orderable filter bases”

Seven characterizations of non-meager 𝖯-filters

Kenneth Kunen, Andrea Medini, Lyubomyr Zdomskyy (2015)

Fundamenta Mathematicae

Similarity:

We give several topological/combinatorial conditions that, for a filter on ω, are equivalent to being a non-meager -filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager -filter. Here, we identify a filter with a subspace of 2 ω through characteristic functions. Along the way, we generalize to non-meager -filters a result of Miller (1984) about -points, and we employ and give a new proof of results of Marciszewski (1998). We also...

Compounding Objects

Zvonimir Šikić (2020)

Bulletin of the Section of Logic

Similarity:

We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing in the case of ultrafilters. As a bonus, we get a very simple proof of Łoś's theorem.

Convergent Filter Bases

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We are inspired by the work of Henri Cartan [16], Bourbaki [10] (TG. I Filtres) and Claude Wagschal [34]. We define the base of filter, image filter, convergent filter bases, limit filter and the filter base of tails (fr: filtre des sections).

Soju Filters in Hoop Algebras

Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani, Young Bae Jun (2021)

Bulletin of the Section of Logic

Similarity:

The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.