A remark on Engeler's filter-images
Jan Waszkiewicz (1970)
Colloquium Mathematicae
Similarity:
Jan Waszkiewicz (1970)
Colloquium Mathematicae
Similarity:
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.
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.
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).
Kamal Boussaf, Alain Escassut (1995)
Annales mathématiques Blaise Pascal
Similarity:
Brian L. Davis, Iwo Labuda (2007)
Mathematica Slovaca
Similarity:
Rath, Nandita (2005)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Katětov, M.
Similarity: