pseudo ricci symmetric real hypersurfaces of a complex projective space are classified and it is proved that there are no pseudo ricci symmetric real hypersurfaces of the complex projective space cpn for which the vector field ξ from the almost contact metric structure (φ, ξ, η, g) is a principal curvature vector field.

It is known that Metric Temporal Logic (MTL) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (FO[<,+1]) in the pointwise semantics over bounded time domains (i.e., timed words of bounded duration) [2]. In this paper, we present an extension of MTL, relying on two new temporal operators ‘Earlier’ (E) and ‘Newer’ (N), which has the same expressive power as FO[<,...

Four recent papers 1–4 present simple and elegant proofs of fixed point results for pointwise contractions, asymptotic pointwise contractions, and asymptotic nonexpansive mappings. Kirk and Xu 1 study these mappings in the context of weakly compact convex subsets of Banach spaces, respectively, in uniformly convex Banach spaces. Hussain and Khamsi 2 consider these problems in the framework of m...

The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory (e.g. [BvBR98] and [FK93]) partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial. To some extent motivated by these considerations, we characterize ...

In this brief note, we prove that every space is a sequence-covering image of a topological sum of convergent sequences. As the application of this result, sequence-covering images of locally compact metric spaces (or, locally separable metric spaces, metric spaces) and sequentially-quotient images of a locally compact metric spaces (or, locally separable metric spaces, metric spaces) are equiv...

We discuss the existence of fixed points of asymptotic pointwise mappings in metric spaces. This is the nonlinear version of some known results proved in Banach spaces. We also discuss the case of multivalued mappings. MSC: Primary 47H09; Secondary 47H10.