皆様，

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

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

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

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

題目　準古典的算術における冠頭標準形定理と部分トポス構造
概要　論理式の形に関する冠頭標準形定理は、直観主義論理上では一般には成り立たないことがよく知られている。とりわけ準古典的算術における冠頭標準形定理の成否については、藤原氏と倉橋氏により精密に調べられている[1]。彼らは証明論的議論に基づき次の否定的結果を示していた: HA + Sigma_1-DNEにおいてSigma_1に関する冠頭標準形定理は成立しない。