[logic-ml] 千葉 logic seminar（会場変更）

[arai toshiyasu]

みなさま

新井@千葉大学です。
先日、お報せしました千葉 logic seminar の第1回の
会場が変更になりましたので、再送致します。

以前にお報せした
千葉大学理学部2号館606号室
と同じ建物の1階105号室に変更です。

==================================

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

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

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

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

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

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

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