A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Undecidability of free pseudocomplemented semilattices

1987
*
Publications of the Research Institute for Mathematical Sciences
*

Decision problem for the first order theory of free objects in equational classes of algebras was investigated for groups (Malcev [10]), semigroups (Quine [12]), commutative semigroups (Mostowski [11]), distributive lattices (Ershov [6]) and several varieties of rings (Lavrov [9]). Recently this question was solved for all varieties of Hilbert algebras and distributive pseudo-complemented lattices (see [7] , [8]). In this paper we prove that the theory of all finitely generated free

doi:10.2977/prims/1195176449
fatcat:j7zjypqjffg4lm4pqdjl7qhwcy