Subrecursive hierarchies and provably computable functions in formal theories of arithmetic 帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数

この論文をさがす

著者

    • 角田, 法也 カドタ, ノリヤ

書誌事項

タイトル

Subrecursive hierarchies and provably computable functions in formal theories of arithmetic

タイトル別名

帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数

著者名

角田, 法也

著者別名

カドタ, ノリヤ

学位授与大学

広島大学

取得学位

学術博士

学位授与番号

乙第2254号

学位授与年月日

1992-03-16

注記・抄録

博士論文

目次

  1. CONTENTS / (0003.jp2)
  2. CHAPTER1 INTRODUCTION / p1 (0004.jp2)
  3. CHAPTER2 SUBRECURSIVE HIERARCHIES AND FORMAL THEORIES / p8 (0011.jp2)
  4. 2.1 Fast-growing hierarchy / p8 (0011.jp2)
  5. 2.2 Provable computability / p13 (0016.jp2)
  6. 2.3 Undecidable statements / p16 (0019.jp2)
  7. CHAPTER3 BUILT-UP SYSTEMS OF FUNDAMENTAL SEQUENCES / p19 (0022.jp2)
  8. 3.1 Growing hierarchies on (n)-built-up systems / p19 (0022.jp2)
  9. 3.2 Conditions on systems of fundamental sequences / p25 (0028.jp2)
  10. 3.3 Existence problems / p29 (0032.jp2)
  11. CHAPTER4 PROVABLY COMPUTABLE FUNCTIONS IN PEANO ARITHMETIC / p34 (0037.jp2)
  12. 4.1 Provable computability / p34 (0037.jp2)
  13. 4.2 Undecidable combinatorial statements / p40 (0043.jp2)
  14. 4.3 Relativized hierarchies / p44 (0047.jp2)
  15. CHAPTER5 THE FAST AND SLOW GROWING HIERARCHIES AND INDUCTIVE DEFINITIONS / p50 (0053.jp2)
  16. 5.1 Fast-growing versus slow-growing / p50 (0053.jp2)
  17. 5.2 The collapsing theorem and (3)-built-upness / p55 (0058.jp2)
  18. 5.3 Provable computability / p61 (0064.jp2)
  19. CHAPTER6 DISCUSSIONS / p69 (0072.jp2)
  20. 6.1 Undecidable statements in theories of arithmetic / p69 (0072.jp2)
  21. 6.2 Applications of subrecursive hierarchies / p71 (0074.jp2)
  22. ACKNOWLEDGMENTS / p75 (0078.jp2)
  23. REFERENCES / p76 (0079.jp2)
0アクセス

各種コード

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