Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all t...

Just-world theory provides a possible explanation of physical attractiveness stereotyping, in that believing in a just world should lead to a positive bias toward "winners," such as the physically attractive. Several hypotheses derived from this premise were tested by having adults complete the Just World Scale and rate the personality traits and expected life outcomes of an attractive or unatt...

We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects.

We prove existence of a unique bounded classical solution for a onephase free-boundary problem with kinetics for continuous initial conditions. The main result of this paper establishes existence of a compact attractor for classical solutions of the problem.

This paper shows that the main results of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets do not, for the main part of the results require looking at functors on the category of (possibly proper) classes. We will see here that the main results are valid for sets up to some regular cardinal. Should that cardinal be inaccessible, then Aczel and...

Explicit solution formulas are presented for systems of the form Exk+1 = Axk + fk with k ∈ K, where K ⊂ Z is a discrete interval and the pencil λE − A is regular. Different results are obtained when one starts with an initial condition at the point k = 0 and calculates into the future (i.e., Exk+1 = Axk + fk with k ∈ N) and when one wants to get a complete solution (i.e., Exk+1 = Axk + fk with ...

We provide a complete analysis of the asymptotics for the semi-infinite Schur flow: αj(t) = (1 − |αj(t)|)(αj+1(t) − αj−1(t)) for α−1(t) = 1 boundary conditions and n = 0, 1, 2, . . . , with initial condition αj(0) ∈ (−1, 1). We also provide examples with αj(0) ∈ D for which α0(t) does not have a limit. The proofs depend on the solution via a direct/inverse spectral transform.

This paper proposes and evaluates a model of supply chains as networks of auctions. In this model, companies are represented according to the first level of the Supply Chain Council’s SCOR model and the trading strategy of the agents is adapted from a model proposed by Steiglitz and colleagues. Specifically, the highest level of SCOR treats a company as comprising three functions, namely Source...

and Applied Analysis 3 4. Solution by Homotopy Perturbation Sumudu Transform Method (HPSTM) 4.1. Basic Idea of HPSTM. To illustrate the basic idea of this method, we consider a general fractional nonlinear nonhomogeneous partial differential equationwith the initial condition of the form D α t U (x, t) + RU (x, t) + NU (x, t) = g (x, t) , (11) U (x, 0) = f (x) , (12) where Dα t U(x, t) is the C...

We discuss direct and inverse spectral theory for the isospectral problem of the dispersionless Camassa–Holm equation, where the weight is allowed to be a finite signed measure. In particular, we prove that this weight is uniquely determined by the spectral data and solve the inverse spectral problem for the class of measures which are sign definite. The results are applied to deduce several fa...