Subrecursive hierarchies and provably computable functions in formal theories of arithmetic

• Material Type: 博士論文
• Title: Subrecursive hierarchies and provably computable functions in formal theories of arithmetic
• Author/Editor: 角田法也 [著]
• Author Heading: 角田, 法也 カドタ, ノリヤ
• Alternative Title: 帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数 キノウテキ カンスウ ノ ブブン カイソウ ト スウロン ノ ケイシキ リロン デ ノ ショウメイ カノウナ ケイサン カノウ カンスウ
• Degree grantor/type: 広島大学
• Date Granted: 平成4年3月16日
• Date Granted (W3CDTF): 1992
• Dissertation Number: 乙第2254号
• Degree Type: 学術博士
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51; UT1
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-92-K141
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000250892; http://id.ndl.go.jp/bib/000000250892
• Bibliographic Record Category (NDL): 213

Table of Contents

CONTENTS

CHAPTER1 INTRODUCTION

CHAPTER2 SUBRECURSIVE HIERARCHIES AND FORMAL THEORIES

2.1 Fast-growing hierarchy

2.2 Provable computability