DOI10.1090/memo/0246zbMath0483.03019OpenAlexW2043550776MaRDI QIDQ3941388
Ralph McKenzie, Stanley N. Burris
Publication date: 1981
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0246
Expanding varieties by monoids of endomorphisms,
Elementary and algebraic properties of the Arens-Kaplansky constructions,
Decidable unary varieties,
Undecidability of free pseudo-complemented semilattices,
Undecidability of relatively free Hilbert algebras,
Counting models in universal Horn classes,
The number of non-isomorphic models in quasi-varieties of semigroups,
The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences,
Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties,
Varieties with decidable finite algebras. I: Linearity,
Varieties with decidable finite algebras. II: Permutability,
Undecidability of the structure of the Solovay degrees of c.e. reals,
The theory of the polynomial many-one degrees of recursive sets is undecidable,
The decidability of some classes of Stone algebras,
Universal algebraic methods for non-classical logics,
The first order theory of Boolean algebras with a distinguished group of automorphisms,
Congruence-distributive varieties of algebras,
Universal algebras,
Finitely Decidable Congruence Modular Varieties,
Abelian algebras and the Hamiltonian property,
Decidable Discriminator Varieties from Unary Classes,
Narrowness implies uniformity,
A Characterization of Finitely Decidable Congruence Modular Varieties,
A new product of algebras and a type reduction theorem,
Boolean products and subdirect powers,
A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups,
BL-global representations,
Decision problems for classes of diagonalizable algebras,
Applications of Boolean powers of algebraic systems
