In his paper on knot cobordism groups in codimension 2, Levine develops conditions for a knotted Sn in Sn+2 to bound a disc in Bn+3 In this paper some of his methods are extended to introduce a necessary condition for a classical link in S3 to bound a surface of specified genus in B4. In particular, this answers a question of Zeemann's about some links related to the ‘Mazur link’.

Let f be a continuous self-map on a complete metric space X and p ∈ X. Let c be a positive real. Equivalent conditions are given for the singleton {p} to be an attractor of a set of c−fixed points of f. We also establish equivalent conditions for the existence of a contractive fixed point of f. These results subsume a body of fixed point theorems.

Let X be a tree and f be a continuous map from X into itself. Denote by P(f) and R(f) the set of periodic points and the set of recurrent points of f respectively. We show in this note that the centre is and the depth of the centre is at most 3. Furthermore we have .

This paper uses Clarke’s generalised directional derivative to describe several types of invexity, pseudoinvexity and quasiinvexity at a point of a nonlinear function. Direct implications of the relations existing between the various types of invexity and generalised invexity are presented, as well as a block diagram of these implications. In particular, similar results in the class of quasiconvex functions are obtained.

A sharp Landau-Kolmogorov inequality on a finite interval is proved. The proof yields the known Landau-Kolmogorov inequality on R as a limiting case, and thus provides a new proof for that result.

A group G ≤ GLK(V) is called K-primitive if there exists no non-trivial decomposition of V into a sum of K-spaces which is stabilised by G. We show that if V is a finite vector space and G a K-primitive subgroup of GLK(V) whose order is coprime to |V|, we can bound the order of G by |V|log2(|V|) apart from one exception. Later we use this result to obtain some lower bounds on the number of p–singular elements in terms of the group order and the minimal representation degree.

The assumption that a Galerkin equation of the reaction-diffusion system of high order has an asymptotically orbitally stable time-periodic solution implies that the full reaction-diffusion system has a nearby asymptotically orbitally stable time-periodic solution with asymptotic phase.

We introduce two graph-colouring 2-person games, and analyse who has a winning strategy on some specific graphs such as the Petersen graph, and paths and cycles of given length.

An algebra is said to be polynomially n−dense if all equational theories extending the equational theory of the algebra with constants have a relative base consisting of equations in no more than n variables. In this paper, we investigate polynomial density of commutative semigroups. In particular, we prove that, for n > 1, a commutative semigroup is (n − 1)-dense if and only if its subsemigroup consisting of all n−factor-products is either a monoid or a union of groups of a bounded order. Moreover, a commutative semigroup is 0-dense if and only if it is a bounded semilattice. For semilattices, we give a full description of the corresponding lattices of equational theories.

The purpose of the paper is to show that the Harte spectrum and the bicommutant spectrum of an arbitrary n−tuple of normal Hilbert space operators can be obtained from the spectral set γ introduced by McIntosh and Pryde. It is also proved that many commonly used joint spectra of an n−tuple of normal m by m matrices are equal. These results are non-commutative variants of some theorems proved by McIntosh, Pryde, and Ricker for commuting sets of operators.