This paper discusses two notions, developed independently and both termed “cocompactness”. The first arises in the area of topology, where J. de Groot and others have studied spaces which are, in a certain sense, complementary to a given space. If the given space is compact then the complementary spaces are said to be cocompact. The second concept arises in the area of logic and general algebra. Loosely speaking a logic is compact if every inconsistent set of formulas has a finite inconsistent subset. This notion of compactness may be generalized to any closure algebra and the use of the term “cocompactness” to describe the generalization was suggested to the author by Dr. R. A. Bull.

It is shown here that topological and algebraic cocompactness are related in the following ways. Firstly, if a closure algebra is algebraically cocompact then its dual space is topologjcally cocompact, and conditions may be given for the implication to be reversible.3 Furthermore any cocompact topological space may be represented as the continuous 1-1 image of the dual space of a cocompact closure algebra. A final result relates another class of closure algebras with those topological spaces which are compact.

The two problem, both raised in the literature, are: (I) Is there, amongst all the permutational products (p.p.s.) on the amalgam = (A, B; H) at least one which is a minimal generalized regular product? (II) If one of the p.p.s. on is isomorphic to the generalized free product (g.f.p.) F on U are they all? We answer both of them negatively.

Let T be a totally ordered set, PT the semigroup of partial transformations on T, and A(T) the l-group of order-preserving permutations of T. We show that PT is a regular left l-semigroup. Let be the set of α ∈ PT such that α is order-preserving and the domain of α is a final segment of T. Then is an l-semigroup, and we prove that it is the largest transitive l-subsemigroup of PT which contains A(T). When T is Dedekind complete, we characterize the largest regular l-semigroup of . When A(T) is also 0 − 2 transitive we show that there can be no l-subsemigroup of properly containing A(T) which is either inverse or a union of groups.

The purpose of this note is to investigate traces of the functions In(1 +|u|), where u is a solution of a semi-linear partial differential equation of elliptic type, belonging to an appropriate Sobolev space. This article complements the results of Chabrowski and Thompson (1980), and Mihailov (1972), (1976).

We show that every inverse semigroup is an idempotent separating homomorphic image of a convex inverse subsemigroup of a P-semigroup P(G, L, L), where G acts transitively on L. This division theorem for inverse semigroups can be applied to obtain a division theorem for pseudo-inverse semigroups.

This paper introduces the concept of an almost locally connected space. Every locally connected space is almost locally connected, and the concepts are equivalent in the class of semi-regular spaces. Almost local connectedness is hereditary for regular open subspaces, is preserved by continuous open maps, but not generally by quotient maps. It is productive in the presence of almost-regularity.

We determine the limiting distribution of the distance from the root of a tree to any nearest endnode of the tree (other than the root) for certain families of rooted trees.

It is shown, given any positive real number λ and any point (x1, x2, x3) of R3 and any lattice λ R3; that there exists a point (z1, z2, z3) of λ for which

which generalizes a theorem due to Remak.

We prove in this note that if two convex curves are internally tangent (lie on the same side of the common tangent), then in most cases they also cut each other infinitely many times. It follows that, in a certain sense, if two convex curves have an odd number of common points, then in general they are externally tangent (lie on different sides of the common tangent). The sense of the expressions most cases and in general remains to be precised.

The main results are as follows. A finitely generated soluble group G is polycyclic if and only if every infinite set of elements of G contains a pair generating a polycyclic subgroup; and the same result with “polycyclic” replaced by “coherent”.

A finite variety is a class of finite groups closed under taking subgroups, factor groups and finite direct products. To each such class there exists a sequence w1, w2,… of words such that the finite group G belongs to the class if and only if wk(G) = 1 for almost all k. As an illustration of the theory we shall present sequences of words for the finite variety of groups whose Sylow p-subgroups have class c for c = 1 and c = 2.

In this note we study the boundary behavior of meromorphic functions in bounded plane regions along Green's lines. As applications we obtatin extensions of Lohwater's theorems and Seidel's theorems concerning radial cluster sets.

We give a short proof that skew Room squares exist for all odd sides s exceeding 5.

Some generalizations of Sperner's theorem and of the LYM inequality are given to the case when A1,… At are t families of subsets of {1,…,m} such that a set in one family does not properly contain a set in another.

We determine necessary and sufficient conditions for the multiplier representations of a discrete group to be type I. This result extends the corresponding result for ordinary representation given by Kaniuth in [4].

Let α1,…, αn be non-zero albegraic numbers and let l1(α1),…ln(αn) denote arbitrary fixed values of the logarithms of α1,…n, respectively Given that l1(α1),…ln(αn) are linearly dependent over Q, the existence of non-trival dependence relation between these numbers with integer coefficients of low absolute values can be proved. Existing results of this kind give bounds for the absolute values of the coefficients which are expressions in the degree D = [Q(α1…αn): Q], the heights of α1,…αn and the magnitudes of the logarithms involved.

Every irreducible ordinary character in a p-block of a finite metabelian group is of height 0 if and only if the defect group of the p-block is abelian.