Sendai Logic Seminar

場所 : 理学研究科合同A棟 (H-02) 12階 1201室 [ 地図]

直近のセミナー

日時 2017.11.10 (金) / 16:00 - 17:00
発表者 田中 一之 氏 (東北大学大学院 理学研究科)
題目 WKLo再入門
概要

2階算術の部分体系WKLoに関する

主要な結果を外観する.

2017年のセミナー

過去のセミナー