ダウンロード数: 4
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
drigk05003.pdf | Dissertation_全文 | 707.02 kB | Adobe PDF | 見る/開く |
yrigk05003.pdf | Abstract_要旨 | 168.95 kB | Adobe PDF | 見る/開く |
タイトル: | Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic |
その他のタイトル: | トポス理論における局所作用素と直観主義算術における準古典的公理の分離 |
著者: | Nakata, Satoshi |
キーワード: | local operator elementary topos effective topos realizability intuitionistic arithmetic |
発行日: | 25-Mar-2024 |
出版者: | Kyoto University |
学位授与大学: | 京都大学 |
学位の種類: | 新制・課程博士 |
取得分野: | 博士(理学) |
報告番号: | 甲第25096号 |
学位記番号: | 理博第5003号 |
学位授与年月日: | 2024-03-25 |
研究科・専攻: | 京都大学大学院理学研究科数学・数理解析専攻 |
論文調査委員: | (主査)准教授 照井 一成, 教授 大木谷 耕司, 教授 長谷川 真人 |
学位授与の要件: | 学位規則第4条第1項該当 |
DOI: | 10.14989/doctor.k25096 |
URI: | http://hdl.handle.net/2433/288530 |
出現コレクション: | 050 博士(理学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。