1982/9/1

Nonfree projectives in products of group varieties

Regular elements in complete uniquely complemented lattices

On basic and axiomatic ranks of nilpotent varieties of Lie algebras

A completeness theorem in the modal logic of programs

Brouwerian semilattices: The lattice of total subalgebras

Projections of mixed Lie rings

How many four-generated simple lattices

On the theory of Baer lattices

Direct limits and filtered colimits are strongly equivalent in all categories

A generalization of elementary formal systems

On compatible and order-preserving functions on lattices

Projectable kernel of a lattice ordered group

Two closure operators which preserve m-compacticity

The concept of (ν)-equivalence in algebraic deformation theory

On classes of algebraic systems closed with respect to quotients

Sheaf constructions in universal algebra and model theory

On the wreath product of monoids

The functor ${\displaystyle K_2}$ for the ring of integers of a number field

Local polynomial functions: Results and problems

On bounding congruences in some algebras having the lattice structure

Iterative and metric algebraic theories

On system of subobject functors in the category of ordered sets

Homomorphisms of group rings

Analyses of languages accepted by varietor machines in category

Weak automorphisms of 1-unary algebras

An algebraic treatment of flow diagrams and its application to generalized recursion theory

Modal operators on symmetrical Heyting algebras

Applications of the theory of partially ordered sets to cluster analysis

Induzierte symplektische Moduln

On regularity classes of binary relations

Intervals, convex sublattices and subdirect representations of lattices

Undecidability of the completeness problem of modal logic

Heterogeneous monoid automata and admissible bisystems

Regularity in p-algebras and p-semilattices

The creative subject and Heyting's arithmetic

Weak homomorphisms of distributive p-algebras

Präprimale Algebren, die arithmetische Varietäten erzeugen

Categorical, functorial and algebraic aspects of the type-free lambda calculus

Some problems of BCK-algebras and Griss type algebras

On an algebraic and Kripke semantics for intermediate logics

Some open problems and directions for further research in semigroups of continuous selfmaps