Л.Д. Беклемишев. Логика и топология: родственные связи. Семинар 4