In a recent publication the problem of determining the abundance of two interacting species of animals was investigated, and the fundamental equations were established.

A subspace G of a locally convex space E has property (b) if for every bounded set B of E the codimension of G in the linear hull of G ∪ B is finite, (5). Extending the results of (5) and (14), we prove that, if the strong dual of E is complete, then subspaces with property (b) inherit the following properties of E: σ-evaluability, evaluability, the property of being Mazur, semibornological and bornological. We also prove that a dense subspace with property (b) of a Mazur space is sequentially dense, and of a semibornological space – dense in the sense of Mackey (locally dense, following M. Valdivia).

In this paper, we prove a Tb theorem on product spaces $\mathbb{R}$n × $\mathbb{R}$m, where b(x1, x2) = b1(x1)b2(x2), b1 and b2 are para-accretive functions on $\mathbb{R}$n and $\mathbb{R}$m, respectively.

The view which the author has expressed regarding catalytic activity as due to frozen groups of atoms with strong specific external fields is further tested by a study of the stability of preparations of copper at the instant of formation, and during the subsequent life of the catalyst.

We prove that any open subgroup of the free abelian topological group on a completely regular space is a free abelian topological group. Moreover, the free topological bases of both groups have the same covering dimension. The prehistory of this result is as follows. The celebrated Nielsen–Schreier theorem states that every subgroup of a free group is free, and it is equally well known that every subgroup of a free abelian group is free abelian. The analogous result is not true for free (abelian) topological groups [1,5]. However, there exist certain sufficient conditions for a subgroup of a free topological group to be topologically free [2]; in particular, an open subgroup of a free topological group on a kω-space is topologically free. The corresponding question for free abelian topological groups asked 8 years ago by Morris [11] proved to be more difficult and remained open even within the realm of kω-spaces. In the present paper a comprehensive answer to this question is obtained.

A normed space E is said to be series immersed in a Banach space X if for every absolutely divergent series nxn in E there is a continuous linear mapping T from E into X such that nTxn diverges absolutely. The theorem of Dvoretzky and Rogers(1) implies that a normed space E is series immersed in a finite dimensional space if and only if E itself is finite dimensional. In (4) and (9) it was shown that E is series immersed in lp 1 p < if and only if E is isomorphic to a subspace of Lp() for some measure . In particular, E is isomorphic to an inner product space if and only if it is series immersed in a Hilbert space. The property of series immersion was further studied in the papers (7) and (8). The main results in these two papers are conditions on X under which E series immersed in X would imply E locally immersed in X, a condition slightly stronger (formally) than E finitely representable in X.

By a generalization of methods recently applied in electrodynamics, it is proved that the ‘bare-particle’ coupling constant in renormalizable meson theories becomes imaginary at infinite cut-off. Analytical assumptions made are discussed.

Suppose that (ni) = (n1, n2,…) and (mi) are infinite sequences of positive integers with ni < mi < ni+1. It is well-known and easily proved that, if a series σak is (C, 1) summable to s and has lacunae (ni, mi) such that ak = 0 (ni < k < mi) with

then where

Let K be a knot in the 3-sphere S3; let m be a meridian and 1 a longitude of K. In [1] we gave a detailed study of the ‘π-orbifold group’ O(K): π1(S3\K)/〈m2〉 of the knot, where 〈m2〉 is the subgroup normally generated by the square of the meridian. In particular, we found out to what extent the π-orbifold group classifies knots (and links) and determines the symmetry group of a knot. In the present paper, we consider the groups Gn(K): = π1(S3\K)/〈ln〉. Our main results are the following.

For countable admissible α, one can add a new infinitary propositional connective to so that the extended language obeys the Barwise compactness theorem, and the set of valid sentences is complete α-r.e.

Aside from obeying the compactness theorem and a completeness theorem, ordinary finitary predicate calculus is also truth-functionally complete.

In (1), Barwise shows that for countable admissible A, provides a fragment of which obeys a compactness theorem and a completeness theorem. However, we of course lose truth-functional completeness, with respect to infinitary propositional connectives that operate on infinite sequences of propositional variables. This raises the question of studying extensions of the language obtained by adding infinitary propositional connectives, in connexion with the Barwise compactness and completeness theorems, and other metatheorems, proved for Some aspects of this project are proposed in (3). It is the purpose of this paper to answer a few of the more basic questions which arise in this connexion.

We have not attempted to study the preservation of interpolation or implicit definability. This could be quite interesting if done systematically.

Consider the pencil of [4]'s through the [3] which contains l15, l25, l34, any [4] of the pencil meets the V25 again in a conic, q.

A k-3 cap in a three-dimensional Galois space, S3,q, is a set of k points, of which some 3, but no 4 are collinear. It is shown in (2) that for q ≥ 4 .

In this paper we continue to develop the apparatus needed for the proof of the theorem announced in (11). We retain the notation of (11) together with the assumptions made there about the field of Abelian functions. This section deals with properties of more general functions holomorphic on Cn. When n = 1 the extrapolation procedure in problems of transcendence is essentially the maximum modulus principle together with the act of dividing out zeros of an analytic function. For n > 1, however, this approach is not possible, and some mild theory of several complex variables is required. This was first used in the context of transcendence by Bombieri and Lang in (2) and (12), and we now give a brief account of the basic constructions of their papers.

It is well known that the Wallman-type compactifications of a Tychonoff space X can be obtained as spaces of all regular zero-one measures on suitable lattices of subsets of X (see [1, 2, 4, 12]). Using the technique developed in [5, 6], we find for any Tychonoff space X a Boolean algebra [Bscr ]X and a set [Lscr ]X of sublattices of [Bscr ]X having the following property: for any Hausdorff compactification cX of X there exists a (unique) LcX ∈ [Lscr ]X such that the maximal spectrum of LcX and the space of all u-regular zero-one measures on the Boolean subalgebra b(LcX) of [Bscr ]X, generated by LcX, are Hausdorff compactifications of X equivalent to cX. Let us give more details now.

The idea of “free” electrons is purely classical, but it is convenient to introduce it also in the quantum theory of metals. In order to calculate the number of free electrons N F from a quantum mechanical model it is necessary to give an appropriate definition.

A symmetric operator on a Hilbert space, with deficiency indices (m; m) has self-adjoint extensions. These are ‘highly reducible’. The original operator may be irreducible, (see example (i), below). Can the mechanism whereby reducibility is achieved be understood? The concrete examples most readily studied are those associated with differential operators. It is easy to obtain operators, associated with a formal linear differential operator, having deficiency indices (m; m). What of reducibility? Nothing seems to be known. In the case of the first-order operator we were able, using the Volterra operator, to establish irreducibility of the associated minimal operator. To investigate symmetric operators associated with a second-order differential operator, different methods had to be developed. They apply also to the first-order operator, and we employ them to demonstrate the irreducibility of the associated minimal operator. In the second-order case the minimal operator proves reducible, and we also exhibit examples of reducibility of associated symmetric operators. It would clearly be of interest to elucidate the influence of the boundary conditions on reducibility.

A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus on threefolds over perfect fields, and unconditionally secure results, which are implied by Orlov's conjecture, concerning the geometric coniveau filtration, and abelian varieties attached to smooth projective varieties.

This paper investigates the ‘general position’ properties which ANR's may possess. The most important of these is the disjoint discs property of Cannon (5), which plays a vital role in recent striking characterizations of manifolds (5, 9, 12, 18, 19, 22). Also considered are the property Δ of Borsuk(2) (which ensures an abundance of dimension-preserving maps), and the vanishing of local homology groups up to a given dimension (cf. (9)). Our main results give relations between these properties, and clarify their behaviour under the stabilization operation of taking cartesian product with the real line. In the last section these results are applied to give partial solutions to questions about homogeneous ANR's.

It is well known that the operators mainly employed in quantum theory are hermitian; it is less well known amongst physicists that they are required, in addition, to be self-adjoint. This is essential for the validity of the result known in quantum theory as the representation theorem and in the mathematical theory as the resolution of the identity. The purpose of this paper is to show that the self-adjoint operators can be characterized by a condition which is nearer to having a physical significance than those given in the literature.