Return to search

Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic / トポス理論における局所作用素と直観主義算術における準古典的公理の分離

京都大学 / 新制・課程博士 / 博士(理学) / 甲第25096号 / 理博第5003号 / 新制||理||1714(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 大木谷 耕司, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Agricultural Science / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/288530
Date25 March 2024
CreatorsNakata, Satoshi
Contributors中田, 哲, ナカタ, サトシ
PublisherKyoto University, 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation

Page generated in 0.0163 seconds