談話会情報

筑波大学数学談話会

日時 2018/11/29 (15:30--17:00) (15:00より談話室にてtea time)
場所 自然系学系D棟509
講演者 薄葉 季路氏 (早稲田大学基幹理工学部)
講演題目 数学基礎論と位相空間論のコンパクト
概要 位相空間のコンパクト性「任意の開被覆は有限被覆を持つ」は
位相空間論のみでなく数学の最重要概念の一つであるが、
数学基礎論におけるコンパクト性「任意の有限部分理論がモデルを持つならば
その理論はモデルをもつ」もまた数学基礎論における最重要概念の一つであり、
位相空間のコンパクト性と密接な関係がある。
本講演ではそれらのコンパクト性の間のつながり、
及びより一般的なコンパクト性に関しての話題について紹介する。