トポス理論における局所作用素と直観主義算術における準古典的公理の分離

• Material Type: 博士論文
• Title: トポス理論における局所作用素と直観主義算術における準古典的公理の分離
• Author/Editor: Nakata, Satoshi
• Author Heading: Nakata, Satoshi
• Publication, Distribution, etc.: Kyoto University
• Publication Date: 2024-03-25
• Publication Date (W3CDTF): 2024-03-25
• Alternative Title: Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Degree grantor/type: 京都大学
• Date Granted: 2024-03-25
• Date Granted (W3CDTF): 2024-03-25
• Dissertation Number: 甲第25096号
• Degree Type: 博士(理学); Doctor of Science
• Text Language Code: eng
• Subject Heading: local operator; elementary topos; effective topos; realizability; intuitionistic arithmetic
• NDC: 400
• Target Audience: 一般
• DOI: 10.14989/doctor.k25096; https://doi.org/10.14989/doctor.k25096
• Persistent ID (NDL): info:ndljp/pid/13731414; https://dl.ndl.go.jp/pid/13731414
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Date Accepted (W3CDTF): 2024-08-02T22:09:21+09:00
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): https://doi.org/10.14989/doctor.k25096; http://hdl.handle.net/2433/288530
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

drigk05003.pdf fulltext

yrigk05003.pdf abstract