In this paper, we first establish a new fixed point theorem for a Meir-Keeler type condition. As an application, we derive a simultaneous generalization of Banach contraction principle, Kannan's fixed point theorem, Chatterjea's fixed point theorem and other fixed point theorems. Some new fixed point theorems are also obtained.

Several bodies of research have found different results with regard to presentation timing, categorization, and generalization. Both presenting instances at the same time (simultaneous) and presenting instances apart in time (spacing) have been shown to facilitate generalization. In this study, we resolved these results by examining simultaneous, massed, and spaced presentations in 2-year-old c...

An unfold/fold program transformation system which extends the unfold/fold transformations of H. Tamaki and T. Sato is presented in this paper. The system consists of unfolding, simultaneous folding , and generalization + equality introduction rules. The simultaneous folding rule permits the folding of a set of folded clauses into a single clause, using a set of folding clauses, while the gener...

We give a simultaneous generalization of recollements abelian categories and triangulated categories, which we call extriangulated categories. For recollement $(\mathcal {A}$, $\mathcal {B}$, {C})$ categori

In this paper, we show how the existence of taxonomies on objects and/or attributes can be used in formal concept analysis to help discover generalized patterns in the form of concepts. To that end, we analyze three generalization cases and different scenarios of a simultaneous generalization on both objects and attributes. We also contrast the number of generalized patterns against the number ...

The cuspidal cohomology groups of arithmetic groups in certain infinite dimensional Modules are computed. As a result we get a simultaneous generalization of the Patterson-Conjecture and the Lewis-Correspondence. 2000 Mathematics Subject Classification: 11F75