TY - RPRT TI - MacNeille completion and profinite completion can coincide on finitely generated modal algebras AU - Jacob Vosmaer PY - 2012 DO - 10.1007/s00012-009-0028-9 UR - https://arxiv.org/abs/1202.3271 ID - 1202.3271 ER -