In this paper,  it is shown that the category of $L$-ordered fuzzifying convergence spaces contains the category of pretopological $L$-ordered fuzzifying convergence spaces as a bireflective subcategory and the latter contains the category of topological $L$-ordered fuzzifying convergence spaces as a bireflective subcategory. Also, it is proved that the category of $L$-ordered fuzzifying conver...

In [13] it was demonstrated that the Proper Forcing Axiom implies that there is a five element basis for the class of uncountable linear orders. The assumptions needed in the proof have consistency strength of at least infinitely many Woodin cardinals. In this paper we reduce the upper bound on the consistency strength of such a basis to something less than a Mahlo cardinal, a hypothesis which ...

In this paper, some characterizations of fuzzifying strong compactness are given, including in terms nets and presubbases. Several locally the framework topology introduced mapping theorems obtained.

This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of

the main purpose of this paper is to introduce a concept of$l$-fuzzifying topological groups (here $l$ is a completelydistributive lattice) and discuss some of their basic properties andthe structures. we prove that its corresponding $l$-fuzzifyingneighborhood structure is translation invariant. a characterizationof such topological groups in terms of the corresponding$l$-fuzzifying neighborhoo...

In the present paper, we introduce topological notions defined by means of α-open sets when these are planted into the framework of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). We introduce T 0 −, T 1 −, T 2 (αHausdorff)-, T 3 (α-regular)and T 4 (αnormal)-separation axioms. Furthermore, the R 0− and R 1− separation axioms are studied and their relations with the T 1 − ...

It is shown that, for any spatial frame L (i.e., L is a complete lattice generated by the set of all prime elements), both the specialization L-preorder of L-topological spaces introduced by Lai and Zhang [Fuzzy preorder and fuzzy topology, Fuzzy Sets and Systems 157 (2006) 1865–1885] and that of L-fuzzifying topological spaces introduced by Fang and Qiu [Fuzzy orders and fuzzifying topologies,...