Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem / 構造の層・Heyting値構造とŁośの定理の一般化

Description

京都大学 / 新制・課程博士 / 博士(理学) / 甲第23402号 / 理博第4737号 / 新制||理||1679(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 牧野 和久, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DGAM

Links & Downloads

1. http://hdl.handle.net/2433/265174
2. 10.14989/doctor.k23402
3. 14301

Tags

sheaf of structures

Heyting-valued structure

Łoś's theorem

model theory

categorical logic

400

Additional Fields

Identifer	oai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/265174
Date	26 July 2021
Creators	Aratake, Hisashi
Contributors	荒武, 永史, アラタケ, ヒサシ
Publisher	Kyoto University, 京都大学
Source Sets	Kyoto University
Language	English
Detected Language	English
Type	doctoral thesis, Thesis or Dissertation
Rights	学位規則第9条第2項により要約公開