WEKO3
アイテム
帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
https://doi.org/10.11501/3061400
https://doi.org/10.11501/3061400d1f57c14-1aee-4e58-9c69-c6c24aabdb32
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
diss_otsu2254.pdf (35.6 MB)
|
| Item type | デフォルトアイテムタイプ_（フル）(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-03-18 | |||||||||
| タイトル | ||||||||||
| タイトル | SUBRECURSIVE HIERARCHIES AND PROVABLY COMPUTABLE FUNCTIONS IN FORMAL THEORIES OF ARITHMETIC | |||||||||
| 言語 | en | |||||||||
| タイトル | ||||||||||
| タイトル | 帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数 | |||||||||
| 言語 | ja | |||||||||
| 作成者 |
角田, 法也
× 角田, 法也
|
|||||||||
| アクセス権 | ||||||||||
| アクセス権 | open access | |||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||
| 権利情報 | ||||||||||
| 権利情報 | Copyright(c) by Author | |||||||||
| 主題 | ||||||||||
| 主題Scheme | NDC | |||||||||
| 主題 | 410 | |||||||||
| 内容記述 | ||||||||||
| 内容記述タイプ | TableOfContents | |||||||||
| 内容記述 | CONTENTS CHAPTER1 INTRODUCTION / p1 CHAPTER2 SUBRECURSIVE HIERARCHIES AND FORMAL THEORIES / p8 2.1 Fast-growing hierarchy / p8 2.2 Provable computability / p13 2.3 Undecidable statements / p16 CHAPTER3 BUILT-UP SYSTEMS OF FUNDAMENTAL SEQUENCES / p19 3.1 Growing hierarchies on (n)-built-up systems / p19 3.2 Conditions on systems of fundamental sequences / p25 3.3 Existence problems / p29 CHAPTER4 PROVABLY COMPUTABLE FUNCTIONS IN PEANO ARITHMETIC / p34 4.1 Provable computability / p34 4.2 Undecidable combinatorial statements / p40 4.3 Relativized hierarchies / p44 CHAPTER5 THE FAST AND SLOW GROWING HIERARCHIES AND INDUCTIVE DEFINITIONS / p50 5.1 Fast-growing versus slow-growing / p50 5.2 The collapsing theorem and (3)-built-upness / p55 5.3 Provable computability / p61 CHAPTER6 DISCUSSIONS / p69 6.1 Undecidable statements in theories of arithmetic / p69 6.2 Applications of subrecursive hierarchies / p71 ACKNOWLEDGMENTS / p75 REFERENCES / p76 | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||||
| 資源タイプ | doctoral thesis | |||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | NA | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_be7fb7dd8ff6fe43 | |||||||||
| ID登録 | ||||||||||
| ID登録 | 10.11501/3061400 | |||||||||
| ID登録タイプ | JaLC | |||||||||
| 開始ページ | ||||||||||
| 開始ページ | 1 | |||||||||
| 書誌情報 |
p. 1 |
|||||||||
| 学位授与番号 | ||||||||||
| 学位授与番号 | 乙第2254号 | |||||||||
| 学位名 | ||||||||||
| 言語 | ja | |||||||||
| 学位名 | 博士(学術) | |||||||||
| 学位名 | ||||||||||
| 言語 | en | |||||||||
| 学位名 | Science | |||||||||
| 学位授与年月日 | ||||||||||
| 学位授与年月日 | 1992-03-16 | |||||||||
| 学位授与機関 | ||||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||||
| 学位授与機関識別子 | 15401 | |||||||||
| 言語 | ja | |||||||||
| 学位授与機関名 | 広島大学 | |||||||||
| 学位授与機関 | ||||||||||
| 言語 | en | |||||||||
| 学位授与機関名 | Hiroshima University | |||||||||
| 旧ID | 31814 | |||||||||
