This paper is a contribution to the area of metapredicative proof theory. It continues recent investigations on the transfinitely iterated fixed point theories ÎDα (cf. [10]) and addresses the question of autonomity in iterated fixed point theories. An external and an internal form of autonomous generation of transfinite hierarchies of fixed points of positive arithmetic operators are introduce...

In this paper, we introduce a new concept in set-valued mappings which we have called condition $(UHS)$. Then, adding this condition to a new type of contractive set-valued mappings, recently has been introduced by Amini-Harandi [Fixed and coupled fixed points of a new type contractive set-valued mapping in complete metric spaces, Fixed point theory and applications, 215 (2012)], we prove that ...

generalized geraghty type fuzzy mappings oncomplete metric spaces are introduced and a fixed point theorem thatgeneralizes some recent comparable results for fuzzy mappings incontemporary literature is obtained. example is provided to show thevalidity of obtained results over comparable classical results for fuzzymappings in fixed point theory. as an application, existence of coincidencefuzzy p...