LOGIKSEMINARIET STOCKHOLM-UPPSALA Erik Palmgren Remarks on the localic completion of metric spaces Onsdag 5 november kl 10.30 i sal Å64119 Ångströmlaboratoriet, Uppsala