No label defined (Q3973997)

[For the entire collection see Zbl 0724.00010.] The author investigated finitely presented lattices and the closely related subject of lattices generated by a finite partial lattice. He described a canonical form for the elements of such a lattice and used this to study the covering relation. He showed that there is an effective procedure for finding the covers of any element of a finitely presented lattice. He gave an example of a finitely presented lattice which has no cover at all. In the present paper he uses some of his earlier results [Trans. Am. Math. Soc. 312, 841-860 (1989; Zbl 0663.06006)] to prove two new theorems about finitely presented lattices. He shows that such lattices are both upper and lower continuous, generalizing the corresponding result for free lattices which is due to \textit{P. M. Whitman }[Ann. Math., II. Ser. 43, 104-115 (1942)]. He also characterizes those finitely presented lattices which are semidistributive.