In this paper we present a new xed point theorem applicable for a countable system of recursive equations over a wellfounded domain. Wellfoundedness is an essential feature of many computer science applications as it guarantees termination of the corresponding xed point computation algorithms. Besides being a natural restriction, it marks a new area of application, where not even monotonicity i...

The paper addresses the question of when the least-xed-point operator, in a cartesian closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a suucient condition on a cartesian closed full subcategory of the category of algebraic cpos for the characterisation to hold. The condition is quite mild, and...

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

in the present paper, we introduces the notion of integral type contractive mapping with respect to ordered s-metric space and prove some coupled common fixed point results of integral type contractive mapping in ordered s-metric space. moreover, we give an example to support our main result.

Innnite behavior of nondeterministic nite state automata running over innnite trees or more generally over elements of an arbitrary algebraic structure is characterized by a calculus of xed point terms interpreted in powerset algebras. These terms involve the least and greatest xed point operators and disjunction as the only logical operation. A tight correspondence is established between a hie...

We present two examples of nice normal spaces X having the property that for some xed-point free homeomorphism on X its Cech-Stone extension has a xed point. One of the spaces presented here is locally countable, locally compact, separable , normal, countably paracompact and weakly zero-dimensional. The other one is hereditarily normal and strongly zero-dimensional. Our construction of this exa...

Fixed points play a central role in domain theory, where, traditionally, the least-xed-point operator for continuous endofunctions on complete partial orders (cpos) is used. Recently, there has been considerable interest in developing a more general axiomatic (and order-free) account of the constructions of domain theory. Peter Freyd made an essential contribution to this programme by emphasisi...

The paper deals with the analysis of pair di usion models in semiconductor technology. The underlying model contains reaction-drift-di usion equations for the mobile point defects and dopant-defect pairs as well as reaction equations for immobile dopants which are coupled with a nonlinear Poisson equation for the chemical potential of the electrons. For homogeneous structures we present an exis...


 a variant of fixed point theorem is proved in the setting of s-metric spaces