ダウンロード数: 4
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| drigk05003.pdf | Dissertation_全文 | 707.02 kB | Adobe PDF | 見る/開く |
| yrigk05003.pdf | Abstract_要旨 | 168.95 kB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.author | Nakata, Satoshi | en |
| dc.contributor.transcription | ナカタ, サトシ | ja-kana |
| dc.date.accessioned | 2024-07-24T05:02:49Z | - |
| dc.date.available | 2024-07-24T05:02:49Z | - |
| dc.date.issued | 2024-03-25 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/288530 | - |
| dc.language.iso | eng | - |
| dc.publisher | Kyoto University | en |
| dc.publisher.alternative | 京都大学 | ja |
| dc.subject | local operator | en |
| dc.subject | elementary topos | en |
| dc.subject | effective topos | en |
| dc.subject | realizability | en |
| dc.subject | intuitionistic arithmetic | en |
| dc.subject.ndc | 400 | - |
| dc.title | Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic | en |
| dc.title.alternative | トポス理論における局所作用素と直観主義算術における準古典的公理の分離 | ja |
| dc.type | doctoral thesis | - |
| dc.type.niitype | Thesis or Dissertation | - |
| dc.textversion | ETD | - |
| dc.description.degreegrantor | 京都大学 | ja |
| dc.description.degreelevel | 新制・課程博士 | - |
| dc.description.degreediscipline | 博士(理学) | ja |
| dc.description.degreereportnumber | 甲第25096号 | - |
| dc.description.degreenumber | 理博第5003号 | - |
| dc.date.granted | 2024-03-25 | - |
| dc.description.degreeaffiliation | 京都大学大学院理学研究科数学・数理解析専攻 | - |
| dc.description.degreeexamcommittee | (主査)准教授 照井 一成, 教授 大木谷 耕司, 教授 長谷川 真人 | - |
| dc.description.degreeprovision | 学位規則第4条第1項該当 | - |
| dc.identifier.selfDOI | 10.14989/doctor.k25096 | - |
| dcterms.accessRights | open access | - |
| dc.description.degreediscipline-en | Doctor of Science | en |
| dc.identifier.degreegrantorID | 14301 | - |
| dc.description.degreegrantor-en | Kyoto University | en |
| dc.description.degreeObjectType | DFAM | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Type | Supervisor | - |
| jpcoar.contributor.Name | 照井, 一成 | ja |
| jpcoar.contributor.Name | 大木谷, 耕司 | ja |
| jpcoar.contributor.Name | 長谷川, 真人 | ja |
| 出現コレクション: | 050 博士(理学) | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。