[logic-ml] 名古屋ロジックセミナー (UC Berkeley校Antonio Montalban氏の講演 6/12)

[Takayuki Kihara]

皆様，

名古屋大学の木原貴行です．この度，UC BerkeleyのAntonio Montalban氏の日本訪問の折に，下記の要領で名古屋ロジックセミナーを開催することとなりました．多数のご参加をお待ちしております．

名古屋ロジックセミナー
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html

日時：6月12日 (月) 15:00〜
場所：名古屋大学大学院情報学研究科棟 322号室

講演者：Antonio Montalbán (カリフォルニア大学バークレー校)
題目：A classification of the natural many-one degrees
アブストラクト：
A common phenomenon in mathematics is that naturally-occurring objects behave better than general objects. This is definitely the case of the many-one degrees within Computability Theory. Our theorem, in a sense, completely classifies the natural many-one degrees and sets them apart from the non-natural ones. The theorem is a version of the uniform Martin's conjecture, but for the case of the many-one degrees.


講演終了後に夕食会を予定しています．夕食会にご参加いただける方は木原貴行 kihara at i.nagoya-u.ac.jp <mailto:kihara at i.nagoya-u.ac.jp> までご一報お願い致します．


--------

Takayuki Kihara
Graduate School of Informatics, Nagoya University, Japan
URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/
Email: kihara at i.nagoya-u.ac.jp




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20170526/7230881c/attachment.html>