Studies on completeness theorem and incompleteness theorem with concrete mathematical structures 具体的な数学構造を用いた完全性定理と不完全性定理に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Studies on completeness theorem and incompleteness theorem with concrete mathematical structures
- タイトル別名
-
具体的な数学構造を用いた完全性定理と不完全性定理に関する研究
- 著者名
-
浜野, 正浩
- 著者別名
-
ハマノ, マサヒロ
- 学位授与大学
-
慶応義塾大学
- 取得学位
-
博士(哲学)
- 学位授与番号
-
甲第1700号
- 学位授与年月日
-
1999-03-03
注記・抄録
博士論文
目次
- 論文目録 / (0001.jp2)
- Contents / p2 (0005.jp2)
- 0 Introduction / p1 (0007.jp2)
- I Investigation in Incompleteness Theorem / p6 (0012.jp2)
- 1 Introduction to Part I / p7 (0013.jp2)
- 2 A Relationship between Kirby Paris's Hydra Game and Gentzen's Proof Reduction / p10 (0016.jp2)
- 3 A Relationship between Buchholz's Hydra Game and Kirby Paris's Hydra Game / p25 (0031.jp2)
- 4 A Direct Independence Proof of Buchholz's Hydra Game / p43 (0049.jp2)
- 5 A Hierarchy of the Fragment of the System of Inductive Definition / p66 (0072.jp2)
- 6 Conclusion and Discussion for Part I / p80 (0086.jp2)
- II Investigation in Completeness Theorem / p83 (0089.jp2)
- 1 Introduction to Part II / p84 (0090.jp2)
- 2 Lefchetz Duality and Full Completeness Theorem for Multi-plicative Linear Logic with the Mix rule / p87 (0093.jp2)
- 3 Pontrjagin Duality and a Full Completeness of Multiplicative Linear Logic Without the Mix Rule / p112 (0118.jp2)
- 4 Conclusion and Perspective of Part II / p143 (0149.jp2)