東北大学ロジックセミナー（金曜セミナー）
English version

場所
東北大学北青葉山キャンパス理学総合棟1201号室 [アクセス方法]
日時
毎週金曜日１５：３０～１６：３０（発表者数等により開始時刻が変更になる場合があります。）

今後の予定

２月１８日（金）１５：３０～
Tin Lok Wong (National University of Singapore)
タイトル：Some model theory of generic initial segments 　概要

過去の発表内容

  • ２０１０年前期（４月～７月）
    • １０月８日
    小本健司（東北大学理学研究科）
    タイトル：WKL_0 の conservativity について 　ノート
    １０月１５日
    problem session 　ノート
    １０月２２日
    村上翔太（東北大学理学研究科）
    タイトル：Martin‐Pour-El Theory
    １０月２９日
    池上大祐（ヘルシンキ大学）
    タイトル：Infinite games with imperfect information 　概要 　スライド
    木原貴行（東北大学理学研究科）
    タイトル：Effectiveness for planar dendrites and dendroids 　スライド
    １１月５日
    藤原誠（東北大学理学研究科）
    タイトル：Resolution for first order logic 　スライド
    石田和弘（東北大学理学研究科）
    タイトル：Consistency proof for number theory 　スライド
    １１月１２日
    Sam Sanders（東北大学理学研究科）
    タイトル：Constructive Mathematics and Nonstandard Analysis 　スライド
    １１月２６日
    榊原拓（東北大学理学研究科）
    タイトル：Tutte's theorem in reverse mathematics 　スライド
    星野匡裕（東北大学理学研究科）　
    タイトル：Reverse mathematics for Hahn's theorem
    １２月３日
    江口直日（北陸先端科学技術大学院大学情報科学研究科）
    タイトル：Towards a Theory of Bounded Arithmetic for Polynomial Space Functions. 　概要 　スライド
    　同日行なわれたチュートリアルのノート
    １２月１０日
    井澤昇平（東北大学理学研究科）
    タイトル：高階算術における逆数学 　スライド
    吉居啓輔（東北大学理学研究科）
    タイトル：Determinacy of Games in Second Order Arithmetic
    １２月１７日
    樋口幸治郞（東北大学理学研究科）
    タイトル：On the degree structures of co-c.e. classes
    １月７日
    木原貴行（東北大学理学研究科）
    タイトル：Computability, mass problems, and basis theorems
    １月１４日
    Alexander Koch（東北大学情報科学研究科）
    タイトル：Fixed-point logic and parity games
    １月２１日
    新井敏康（千葉大学理学研究科）
    タイトル：Search problems in $T^{2}_{2}$ 　概要 　スライド

    問い合わせ先

    横山啓太（東北大学）：y-keita[at]math.tohoku.ac.jp

    外部リンク