Abstract We give a systematic technical exposition of the foundations theory computably compact metric spaces. discover several new characterizations computable compactness and apply these to prove results in analysis effective topology. also technique less combinatorially involved proofs known from literature. Some do not have or spaces their statements, thus applications are necessarily direc...

In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...

in this article we introduce the concept of $z^circ$-filter on a topological space $x$. we study and investigate the behavior of $z^circ$-filters and compare them  with corresponding ideals, namely, $z^circ$-ideals of $c(x)$,  the ring of real-valued continuous functions on a completely regular hausdorff space $x$. it is observed that $x$ is a compact space if and only if every $z^circ$-filter ...