In this paper we give some characterizations of topological extreme amenability. Also we answer a question raised by Ling [5]. In particular we prove that if T is a Borel subset of a locally compact semigroup S such that M(S)* has a multiplicative topological left invariant mean then T is topological left lumpy if and only if there is a multiplicative topological left invariant mean M on M(S)* ...

A topological algebra is a complex associative algebra which is also a Hausdorff topological vector space such that the multiplication is separately continuous. A locally convex algebra is a topological algebra whose topology is determined by a family of seminorms. A complete metrizable locally convex algebra is called a B0-algebra. The topology of a B0-algebra A may be given by a countable fam...

The method of upper and lower solutions is a classical tool in the theory of periodic differential equations of the second order. We show that this method does not have a direct extension to almost periodic equations. To do this we construct equations of this type without almost periodic solutions but having two constants as ordered upper and lower solutions. r 2003 Elsevier Science (USA). All ...

Lincoln, Scedrov and Shankar proved undecidability of intuitionistic second order multiplicative commutative linear logic by embedding LJ2 into this logic. Emms did the same for intuitionistic second order non-commutative linear logic. Recently, Lafont and Scedrov demonstrated undecidability of classical second order multiplicative commutative linear logic. As for classical second order non-com...

Stability results for time-varying systems with output averaged using the norm are established. The discrete-time linear system is considered under a bound on time-average on the mean-value of the output norm. It is shown that under controllability, observability and a uniform bound on the matrix norm, the time-varying system is asymptotically and uniformly stable. If, in addition, the solution...