论文信息 - A Note on the Implicational Class Generated by a Class of Structures

A Note on the Implicational Class Generated by a Class of Structures

We use the notations of [2], particularly for operators on classes of structures; in addition, P* r(K) (respectively, Pr(K)) denotes the class of all reduced products of families of structures in K (those with respect to a proper dual ideal, respectively).

G. Grätzer | H. Lakser | H. Lakser | G. Grätzer

[1] Alfred Horn,et al. On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[2] Tsuyoshi Fujiwara. On the construction of the least universal Horn class containing a given class , 1971 .

[3] H. Lakser,et al. The structure of pseudocomplemented distributive lattices. I. Subdirect decomposition , 1971 .

[4] George Grätzer,et al. The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation , 1971 .