The preservation theorem of Sahlqvist, equations in Completions of Boolean Algebras with operators

Authors
Publication date 1998
Series ML, 98-05
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Note ILLC Amsterdam
Permalink to this page
Back