[logic-ml] 千葉 logic seminar

みなさま

新井@千葉大学です。

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

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

問合せ先 新井敏康（千葉大学） tosarai@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以下である、 という定理を中心として、順序次元の幾つかの性質や、 色々な次数構造や数理論理学上に現れる他の半順序の 順序次元に関する事実を紹介する。

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