In this paper, using the idea of upper and lower faithful d.g. near-rings, introduced in (6), we show that the category of all faithful d.g. near-rings is a reflective as well as coreflective subcategory of the category of all d.g. near-rings. We also prove that both and are complete and cocomplete categories.

Let S be an inverse semigroup with semilattice of idempotents E. We denote by σ the minimum group congruence on S (6), and by τ the maximum idempotent-determined congruence on S (2). (Recall that the congruence η on S is called idempotent-determined if (e, x)∈ η and e ∈ E imply that x ∈ E.) In general τ ⊆ σ.

In this paper we generalise some of the results obtained in [1] for the n-dimensional real spaces ℓp(n) to the infinite dimensional real spaces ℓp. Let p >1 with p ≠ 2, and let x be a non-zero real sequence in ℓp. Let ε(x) denote the closed linear subspace spanned by the set of all those sequences in ℓp which are biorthogonal to x with respect to the unique semi-inner-product on ℓp consistent with the norm on ℓp. In this paper we show that codim ε(x)=1 unless either x has exactly two non-zero coordinates which are equal in modulus, or x has exactly three non-zero coordinates α, β, γ with |α| ≥ |β| ≥ |γ| and |α|p > |β|p + |γ|p. In these exceptional cases codim ε(x) = 2. We show that is a linear subspace if, and only if, x has either at most two non-zero coordinates or x has exactly three non-zero coordinates which satisfy the inequalities stated above.

We show that the class of Banach algebras A isomorphic with normclosed (non-self-adjoint) subalgebras of is characterized by the condition that the norms of polynomials in A be dominated by the norms of the same polynomials in .

For z in D and ζ in ∂D, we denote by pz(ζ) the Poisson kernel (1 − │z│2)│1 − ζ−2 for the open unit disc D. We ask for what countable sets {an:n∈ℕ} of points of D there exist complex numbers λn with

by which we mean that the series converges to zero in the norm of L1(∂D).

Periodic solutions of Mathieu's equation*

where a is a suitable function of q have recently been discussed in several papers in these Proceedings. An elegant method of determining these solutions, which are written

was given by Whittaker, † who obtained the integral equation

which is satisfied by periodic solutions of Mathieu's equation.

The main points of this paper are :—

(i) The construction of a linear substitution from its poles or linear invariants and its multipliers (§§3, 7);

(ii) a formula for r repetitions of a substitution (§ 4);

(iii) a specification of the types of linear substitutions of order r, with examples of the simplest of those types(§§9ff.);

(iv) The geometrical illustration of the case of three variables (§§15 ff.)

Roughly speaking a suitable theory is a theory T together with its formal provability predicate Prv (.). A pseudo-topological space is a boolean algebra B which carries a derivative operation d and its associated closure operation c. Thus we can pretend that B is a topological space. We show that the Lindenbaum algebra B(T) of a suitable theory becomes, in a natural way, a pseudotopological space, and hence we can translate properties of T into topological language, as properties of B(T). We do this translation for several properties of T, including (1) satisfying Gödel's first theorem, (2) satisfying Löb's theorem and (3) asserting one's own inconsistency. These correspond to the topological properties (1) having an isolated point, (2) being scattered, (3) being discrete.

The various formulae for the Legendre Functions, and the relations between these formulae, have been studied by Kummer,Riemann, Olbricht, Hobson, Barnes, Whipple, and others. Hobson obtained some of the relations directly, by expres ing the functions as Pochhammer integrals, and expanding in a number of series each with its own region of convergence. To obtain some of the other formulae, such as (i) below, he transformed the differential equation, and then expressed the functions in terms of the solutions of the transformed equation. Barnes succeeded, by means of his wellknown integrals involving Gamma Functions, in deducing all the formulae directly from the formulae which define the functions.Notes on the history of the subject and references to previous work will be found in the papers by Hobson and Barnes.

A subalgebra U of a Lie algebra L over a field F is called modular* in L if U satisfies the dual of the modular identities in the lattice of subalgebras of L. Our aim is the study of the influence of the modular* identities in the structure of the algebra. First we prove that if the modular* conditions are imposed on an ideal of L then every element of L acts as an scalar on this ideal and if they are imposed on a non-ideal subalgebra U of L then the largest ideal of L contained in U also satisfies the modular* identities. We determine Lie algebras having a subalgebra which satisfies both the modular and modular* identities, provided that either L is solvable or char(F)≠ 2,3. As immediate consequences of this result we obtain that the existence of a co-atom satisfying the modular* identities in the lattice L(L) forces that the lattice L(L) is modular and that the modular* identities on any subalgebra U forces that U is quasi-abelian. In the case when L is supersolvable we obtain that the modular* conditions on any non-ideal of L are enough to guarantee that L(L) is modular. For arbitrary fields and any Lie algebra L, we prove that the modular* conditions on every co-atom of the lattice L(L) guarantee that L(L) is modular.

In this paper the study of radicals of finite near-rings is initiated. The main result (Theorem 4.3) gives a description of hereditary radicals having hereditary semisimple classes too. Also it is shown that there exist non-hereditary radicals having hereditary semisimple classes.

In his recent book on ordinary differential equations Hille (3) devotes a chapter to complex oscillation theory. Drawing upon his own work in this area and the work of Nehari, Schwarz, Taam, and others, he gives a variety of oscil-lation and nonoscillation theorems for solutions of the differential equation

where z is a complex variable and p is regular in some appropriate domain. There are a number of results for (1.1) with an arbitrary coefficient o and some discussions for special cases of classical interest, such as the Bessel and Mathieu equations. There is a bibliography at the end of the chapter. For other recent work in this area attention is directed to papers by Herold (1, 2) Kim (4, 5) and Lavie (6) where other references are given.