We consider extensions of xed-point logic by means of generalized quantiiers in the context of descriptive complexity. By the well-known theorem of Immerman and Vardi, xed-point logic captures PTime over linearly ordered structures. It fails, however , to express even most fundamental structural properties, like simple cardinality properties, in the absence of order. In the present investigatio...

Ajay Kalra • Mengze Shi • Kannan Srinivasan Graduate School of Industrial Administration, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 Rotman School of Management, University of Toronto, Toronto, Ontario, Canada M5S 3G4 Graduate School of Industrial Administration, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 [email protected] • [email protected] • kannans@a...

in this paper, we prove some common fixed point results for two self mappingsf and g on s-metric space such that f is a g.w.c.m with respect to g.

In this paper, we introduce and study a new iterative scheme toapproximate a common xed point for a nite family of generalized asymptoticallyquasi-nonexpansive nonself-mappings in Banach spaces. Several strong and weakconvergence theorems of the proposed iteration are established. The main resultsobtained in this paper generalize and rene some known results in the currentliterature.

An idea of fuzzy reexivity of Felbin's type fuzzy normed linear spaces is introduced and its properties are studied. Concept of fuzzy uniform normal structure is given and using the geometric properties of this concept xed point theorems are proved in fuzzy normed linear spaces.

In this paper, we give a fixed point theorem for $(psi,varphi)$-weakly contractive mappings in complete $b$-metric spaces. We also give a common fixed point theorem for such mappings in complete $b$-metric spaces via altering functions. The given results generalize two known results in the setting of metric spaces. Two examples are given to verify the given results.

There are two motivations for studying the question whether X has the projection property. Firstly, Arrow's \dictator theorem" states that the only maps of a product X A to X with certain properties are the projections (see A], PRS]). Secondly, the projection property is closely related to the xed point property (see C]). For a detailed discussion of the projection property, its background and ...

An automatic scaling C program translator is developed for the eecient execution of application programs in xed-point digital signal processors. The program for range estimation is automatically generated by inserting codes which collect the statistics of each signal during the simulation. With the range information, the number of shifts needed for the scaling is determined and the oating-point...

In this paper, the notion of cyclic $varphi$-contraction in fuzzymetric spaces is introduced and a fixed point theorem for this typeof mapping is established. Meantime, an example is provided toillustrate this theorem. The main result shows that a self-mappingon a G-complete fuzzy metric space has a unique fixed point if itsatisfies the cyclic $varphi$-contraction. Afterwards, some results inco...

In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.