We present a treatment for mathematical economists of three topics in the theory of xed points: (a) the Lefschetz xed point index; (b) the Lefschetz xed point theorem; (c) the theory of essential sets of xed points. Our treatment is geometric, based on elementary techniques, and largely selfcontained. In particular there is no essential reference to algebraic topology. Within the chosen scope o...

recently, rahimi et al. [comp. appl. math. 2013, in press] dened the conceptof quadrupled xed point in k-metric spaces and proved several quadrupled xed pointtheorems for solid cones on k-metric spaces. in this paper some quadrupled xed point resultsfor t-contraction on k-metric spaces without normality condition are proved. obtainedresults extend and generalize well-known comparable result...

in this paper, we prove the existence of fixed point for j-type multi-valuedmap t in cat(0) spaces and also we prove the strong convergence theoremsfor ishikawa iteration scheme without using the xed point of involving map.

we de ne approximate xed point in fuzzy norm spaces and prove the existence theorems, we also consider approximate pair constructive map- ping and show its relation with approximate fuzzy xed point.

Quasi-metrics have been used in several places in the literature on domain theory and the formal semantics of programming languages. In this paper, we consider the role of quasi-metrics in the xed point semantics of logic programs, examining in detail a quite general process by which xed points of immediate consequence operators can be found. This work takes as its starting point: (i) Fitting's...

We characterize the polynomial time computable queries as those ex pressible in relational calculus plus a least xed point operator and a total ordering on the universe We also show that even without the ordering one application of xed point su ces to express any query expressible with several alternations of xed point and negation This proves that the xed point query hierarchy suggested by Cha...

The inequality Ffx;fy(qs) Fx;y(s) (s 0), where q 2 (0; 1), is generalized for multivalued mappings in many directions. Using Hausdor distance S.B. Nadler in [7] introduced a generalization of Banach contraction principle in metric spaces. In [3] the de nition of probabilistic Nadler q-contraction is given. Using some results given in [12] a xed point theorem on spaces with a convex structure is...

abstract. In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the-modality easily follow from this result. Furthermore , these properties are extended to the system ILP. Failure of arrow interpolation for ILW is established by providing an expl...

In this paper we investigate common xed point theorems for contraction mapping in fuzzy metric space introduced by Gregori and Sapena [V. Gregori, A. Sapena, On xed-point the- orems in fuzzy metric spaces, Fuzzy Sets and Systems, 125 (2002), 245-252].

This paper consists of three independent but related parts. In the ̄rst part (xx1{ 6) we give a combinatorial formula for the constants appearing in the \numerators" of characters of stable discrete series representations of real groups (see x3) as well as an analogous formula for individual discrete series representations (see x6). Moreover we give an explicit formula (Theorem 5.1) for certain ...