We present a domain-theoretic analysis of the invariant measure of the one-dimensional Ising model in a random external magnetic eld. The invariant measure is obtained as a xed point of the Markov transition operator of an iterated function system with probabilities acting on the probabilistic power domain of the upper space of a closed real interval. This enables us to use the generalised Riem...

Synopsis Domain-theoretic categories are axiomatised by means of categorical non-order-theoretic requirements on a cartesian closed category equipped with a commutative monad. We prove an enrichment theorem showing that every axiomatic domain-theoretic category can be endowed with an intensional notion of approximation, the path relation, with respect to which the category Cpo-enriches. Subsequ...

Diiusion processes on the Sierpinski gasket and the abc-gaskets are constructed as limits of random walks. In terms of the associated renor-malization group, the present method uses the inverse trajectories which converge to unstable xed points corresponding to the random walks on one-dimensional chains. In particular, non-degenerate xed points are unnecessary for the construction. A limit theo...

In order to solve domain equations over 1-bounded compact metric spaces, xed points of functors on categories of 1-bounded compact metric spaces are studied. Two categories of 1-bounded compact metric spaces are considered: KMS and KMS E. In both categories, objects are isomorphic if and only if they are isometric. As a consequence, provided that the operation of a domain equation can be extend...

‎in this paper, based on [a. razani, v. rako$check{c}$evi$acute{c}$ and z. goodarzi, nonself mappings in modular spaces and common fixed point theorems, cent. eur. j. math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $t$ in the modular space $x_rho$ is presented. moreover, we study a new version of krasnoseleskii's fixed point theorem for $s+t$, where $t$ is a cont...

Induction for Horn clauses from data received a major boost from the success of FOIL 1;2;3 as a pioneer clausal learning algorithm. FOIL attempts to explain a target relation (while avoiding a negative set) by incrementally adding clauses that successively increase this explained part. The residue of the target set is obtained by postulating the target set in the antecedents (body) of the gener...

an idea of fuzzy reexivity of felbin's type fuzzy normed linear spaces is introduced and its properties are studied. concept of fuzzy uniform normal structure is given and using the geometric properties of this concept xed point theorems are proved in fuzzy normed linear spaces.

Proof systems with sequents of the form U ` for proving validity of a propositional modal-calculus formula over a set U of states in a given model usually handle xed-point formulae through unfolding, thus allowing such formulae to reappear in a proof. Tagging is a technique originated by Winskel for annotating xed-point formulae with information about the proof states at which these are unfolde...

 A variant of fixed point theorem is proved in the setting of S-metric spaces

The main purpose of this paper is to establish different types of convergence theorems for fuzzy Henstock integrable functions, introduced by  Wu and Gong cite{wu:hiff}. In fact, we have proved fuzzy uniform convergence theorem, convergence theorem for fuzzy uniform Henstock integrable functions and fuzzy monotone convergence theorem. Finally, a necessary and sufficient condition under which th...