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

注記・抄録

博士論文

目次

  1. 論文目録 / (0001.jp2)
  2. Contents / p2 (0005.jp2)
  3. 0 Introduction / p1 (0007.jp2)
  4. I Investigation in Incompleteness Theorem / p6 (0012.jp2)
  5. 1 Introduction to Part I / p7 (0013.jp2)
  6. 2 A Relationship between Kirby Paris's Hydra Game and Gentzen's Proof Reduction / p10 (0016.jp2)
  7. 3 A Relationship between Buchholz's Hydra Game and Kirby Paris's Hydra Game / p25 (0031.jp2)
  8. 4 A Direct Independence Proof of Buchholz's Hydra Game / p43 (0049.jp2)
  9. 5 A Hierarchy of the Fragment of the System of Inductive Definition / p66 (0072.jp2)
  10. 6 Conclusion and Discussion for Part I / p80 (0086.jp2)
  11. II Investigation in Completeness Theorem / p83 (0089.jp2)
  12. 1 Introduction to Part II / p84 (0090.jp2)
  13. 2 Lefchetz Duality and Full Completeness Theorem for Multi-plicative Linear Logic with the Mix rule / p87 (0093.jp2)
  14. 3 Pontrjagin Duality and a Full Completeness of Multiplicative Linear Logic Without the Mix Rule / p112 (0118.jp2)
  15. 4 Conclusion and Perspective of Part II / p143 (0149.jp2)
4アクセス

各種コード

  • NII論文ID(NAID)
    500000171427
  • NII著者ID(NRID)
    • 8000000171701
  • DOI(NDL)
  • NDL書誌ID
    • 000000335741
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ