On the ideals' extension theorem and its equivalence to the axiom of choice
S. Mrówka (1956)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The boolean prime ideal theorem holds iff maximal open filters exist”
On the ideals' extension theorem and its equivalence to the axiom of choice
On primeness and maximality of filters
Francis Borceux, Maria-Cristina Pedicchio (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Prime filters with CIP
Zdeněk Frolík (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Generalized co-annihilator of BL-algebras
Biao Long Meng, Xiao Long Xin (2015)
Open Mathematics
Similarity:
In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators. We also introduce the notion of involutory filters relative to a filter F and prove that the set of all involutory filters relative to a filter with respect to the suit operations is a complete Boolean lattice and BL-algebra. We use the technology of generalized co-annihilators...
On the extensibility of closed filters in T spaces and the existence of well orderable filter bases
Kyriakos Keremedis, Eleftherios Tachtsis (1999)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We show that the statement CCFC = “” is equivalent to the CMC and, the axiom of choice AC is equivalent to the statement CFE = “”. We also show that AC is equivalent to each of the assertions: “”, “” and “”.
Filters of -algebras.
Jun, Young Bae, Lianzhen, Liu (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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.
Absolute values on algebras
Kamal Boussaf, Alain Escassut (1995)
Annales mathématiques Blaise Pascal
Similarity: