Displaying similar documents to “Soju Filters in Hoop Algebras”

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

Filters of R 0 -algebras.

Jun, Young Bae, Lianzhen, Liu (2006)

International Journal of Mathematics and Mathematical Sciences

Similarity:

New kinds of hybrid filters of EQ-algebras

Akbar Paad (2024)

Mathematica Bohemica

Similarity:

The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed...