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.

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...

Using data from the German Socio-Economic Panel (GSOEP), this paper analyzes the relationship between training and job satisfaction focusing in particular on gender diff erences. Controlling for a variety of socio-demographic, job and fi rm characteristics, we fi nd a diff erence between males and females in the correlation of training with job satisfaction which is positive for males but insig...

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 purpose of this paper is to obtain necessary and suffcient conditionsfor existence approximate fixed point on Geraghty-contraction. In this paper,denitions of approximate -pair fixed point for two maps Tα , Sα and theirdiameters are given in a metric space.

We propose a BFGS primal-dual interior point method for minimizing a convex function on a convex set de ned by equality and inequality constraints. The algorithm generates feasible iterates and consists in computing approximate solutions of the optimality conditions perturbed by a sequence of positive parameters converging to zero. We prove that it converges qsuperlinearly for each xed . We als...