George Weaver Homogeneous and Universal Dedekind Algebras. 173-192 2000 64 Studia Logica 2 db/journals/sLogica/sLogica64.html#Weaver00