19/03/21 18:26:52.98 L2G86nzK.net
>>181 補足
URLﾘﾝｸ(staff.fnwi.uva.nl)
トポスと高階論理 UvA/FNWI staff Taichi Uemura 2018年12月9日
(抜粋)
6 おわりに
トポスの内部言語を導入し、トポスのいくつかの性質を内部言語を使って証明した。しかし、これはトポ
スと高階論理のほんの一側面でしかない。いくつか関連する項目を挙げるが、詳しいことは [MLM92, LS86,
Joh02b] あたりを読みましょう。まず、Kripke-Joyal semantics と呼ばれる、トポスの内部言語�