Henrik Forssell オスロ大学（University of Oslo）所属。michael-makkai の証明の再構成・出版の共著者。 関連ページ michael-makkai peter-lumsdaine andrew-swan projectivity-of-N