皆様，

東北大学の竹田です． 以下の通りセミナーを開催いたしますのでご案内いたします．

https://sites.google.com/view/sendai-logic/

日時：6月14日(金)15:00〜 場所：東北大学理学研究科合同A棟801号室 (zoom配信あり)

講演者：中田哲 (京都大学数理解析研究所)

題目 準古典的算術における冠頭標準形定理と部分トポス構造 概要 論理式の形に関する冠頭標準形定理は、直観主義論理上では一般には成り立たないことがよく知られている。とりわけ準古典的算術における冠頭標準形定理の成否については、藤原氏と倉橋氏により精密に調べられている[1]。彼らは証明論的議論に基づき次の否定的結果を示していた: HA + Sigma_1-DNEにおいてSigma_1に関する冠頭標準形定理は成立しない。 本講演では、この結果のトポス理論的議論に基づく別証明を与え、その一般化について考察する。 [1] Makoto Fujiwara and Taishi Kurahashi. Prenex normal form theorems in semi-classical arithmetic. Journal of Symbolic Logic, 86(3):1124--1153, 2021.

オンライン参加を希望される方は竹田(yuto.takeda.t8@dc.tohoku.ac.jp)宛にご連絡いただきますようよろしくお願いいたします

どうぞよろしくお願いいたします．

竹田 侑人 yuto.takeda.t8@dc.tohoku.ac.jp