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

Description

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

Links & Downloads

1. http://hdl.handle.net/2433/288530
2. 10.14989/doctor.k25096
3. 14301

Tags

local operator

elementary topos

effective topos

realizability

intuitionistic arithmetic

400

Additional Fields

Identifer	oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/288530
Date	25 March 2024
Creators	Nakata, Satoshi
Contributors	中田, 哲, ナカタ, サトシ
Publisher	Kyoto University, 京都大学
Source Sets	Kyoto University
Language	English
Detected Language	English
Type	doctoral thesis, Thesis or Dissertation