Hirokazu Nishimura Boolean Valued Lie Algebras. 731-741 1991 56 J. Symb. Log. 2 db/journals/jsyml/jsyml56.html#Nishimura91