ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 広島大学博士論文
  2. 2012年度以前

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

https://doi.org/10.11501/3061400
https://doi.org/10.11501/3061400
d1f57c14-1aee-4e58-9c69-c6c24aabdb32
名前 / ファイル ライセンス アクション
diss_otsu2254.pdf 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
作成者 角田, 法也

× 角田, 法也

ja 角田, 法也

en Kadota, Noriya

Search repository
アクセス権
アクセス権 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
戻る
0
views
See details
Views

Versions

Ver.1 2025-02-21 01:41:58.263005
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3