technical terminology has a significant role in translation of technical or scientific texts. unfortunately, most of research in this area has not perceived the urgent need for a model to analyze or shown how translate technical or scientific terminology. in this paper, the researcher attempts to designs a workable model for translation of technical or scientific terminology. the major aim of t...

Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A 'directed space', e.g. an ordered topological space, has directed homotopies (generally non reversible) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). Finding a simple model of the latter is a non-trivial problem, whose solution gives r...

A Borel equivalence relation on a Polish space is countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence rel...

There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin’s conjecture on Turing invariant functions. This longstanding open problem in recursion theory has connected to many problems in descriptive set theory, particularly in the theory of countable Borel equivalence relations. In this p...