Sendai Logic Seminar

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

直近のセミナー

日時 2017.7.21 (金) / 16:00 - 17:00
発表者 小林 幹 氏 (東北大学大学院 理学研究科)
題目 The models of Weak König lemma
概要

IΣ^0_0やIΔ_0を満たす二階算術のモデルについて、それらをWKL_0を満たすモデルに拡張するための条件をAckermann coding や そのモデルのinitial self-embeddingを用いて表すことができるという結果がTin Lok Wong氏によって得られている。本発表では同氏の論文を参考に、それらの結果を紹介し、証明を行う。

2017年のセミナー

過去のセミナー