in the present paper, we give a new approach to caristi's fixed pointtheorem on non-archimedean fuzzy metric spaces. for this we define anordinary metric $d$ using the non-archimedean fuzzy metric $m$ on a nonemptyset $x$ and we establish some relationship between $(x,d)$ and $(x,m,ast )$%. hence, we prove our result by considering the original caristi's fixedpoint theorem.

We construct the Urysohn metric space in constructive setting without choice principles. The Urysohn space is a complete separable metric space which contains an isometric copy of every separable metric space, and any isometric embedding into it from a finite subspace of a separable metric space extends to the whole domain.

Proving  fixed point theorem in a fuzzy metric space is not possible for  Meir-Keeler contractive mapping. For this, we introduce the notion of $c_0$-triangular fuzzy metric space. This new space allows us to prove some fixed point theorems for  Meir-Keeler contractive mapping. As some pattern we introduce the class of $alphaDelta$-Meir-Keeler contractive and we establish some results of fixed ...

We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...

In this paper we consider Milner’s calculus CCS enriched by a probabilistic choice operator. The calculus is given operational semantics based on probabilistic transition systems. We define operational notions of preorder and equivalence as probabilistic extensions of the simulation preorder and the bisimulation equivalence respectively. We extend existing category-theoretic techniques for solv...

in this paper, we formalize the menger probabilistic normed space as a category in which its objects are the menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. so, we can easily apply the results of topological vector spaces...