In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...

We present an axiomatization of Conway theories which yields, as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms. It has been shown that most fixed point operations in computer science share the same equational properties. These equational properties are captured by the notion of iteration theories [1, 3]. Several axiomat...