[logic-ml] 千葉 logic seminar

[arai toshiyasu]

みなさま

新井@千葉大学です。

このたび「千葉 logic seminar」
なる催しを不定期に千葉で
開催していくことになりましたので
お報せ致します。

初回は下記の要領で樋口幸治郎さんが
講演します。
どなたでも参加できますので
どうぞ気軽にいらっしゃって下さい。

問合せ先
新井敏康（千葉大学）
tosarai at faculty.chiba-u.jp

------------------------------------------

日時：5月14日(水)15:00-16:30
場所：千葉大学理学部2号館606号室
アクセスは
http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html
の地図の黄色い理学部の中で数字2が付いている建物の6階です。

講演者：樋口幸治郎（千葉大学）
タイトル：Turing次数の順序次元
アブストラクト：
どんな半順序も、全順序たちの積順序の中に埋め込めることが知られている。
このような全順序たちの最小個数を、与えられた半順序の順序次元という。
この話では、Turing次数のなす半順序の順序次元が
アレフ1以上ベート1以下である、
という定理を中心として、順序次元の幾つかの性質や、
色々な次数構造や数理論理学上に現れる他の半順序の
順序次元に関する事実を紹介する。

------------------------------------------