Biequivalences and topology in the alternative set theory
A topological space is said to be -Lindelöf [1] if every cover of by cozero sets of admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of -Lindelöf spaces.
In [5], W. Taylor shows that each particular compact polyhedron can be characterized in the class of all metrizable spaces containing an arc by means of first order properties of its clone of continuous operations. We will show that such a characterization is possible in the class of compact spaces and in the class of Hausdorff spaces containing an arc. Moreover, our characterization uses only the first order properties of the monoid of self-maps. Also, the possibility of characterizing the closed...
Clone properties are the properties expressible by the first order sentence of the clone language. The present paper is a contribution to the field of problems asking when distinct sentences of the language determine distinct topological properties. We fully clarify the relations among the rigidity, the fix-point property, the image-determining property and the coconnectedness.
We calculate the exact value of the color number of a periodic homeomorphism without fixed points on a finite connected graph.
In this paper, after giving the basic results related to the product of functions and the graph of functions in intuitionistic fuzzy topological spaces, we introduce and study the concept of fuzzy completely continuous functions between intuitionistic fuzzy topological spaces.
We evaluate the descriptive set theoretic complexity of the space of continuous surjections from to .