Subrecursive hierarchies and provably computable functions in formal theories of arithmetic 帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Subrecursive hierarchies and provably computable functions in formal theories of arithmetic
- Other Title
-
帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
- Author
-
角田, 法也
- Author(Another name)
-
カドタ, ノリヤ
- University
-
広島大学
- Types of degree
-
学術博士
- Grant ID
-
乙第2254号
- Degree year
-
1992-03-16
Note and Description
博士論文
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
Table of Contents
- CONTENTS / (0003.jp2)
- CHAPTER1 INTRODUCTION / p1 (0004.jp2)
- CHAPTER2 SUBRECURSIVE HIERARCHIES AND FORMAL THEORIES / p8 (0011.jp2)
- 2.1 Fast-growing hierarchy / p8 (0011.jp2)
- 2.2 Provable computability / p13 (0016.jp2)
- 2.3 Undecidable statements / p16 (0019.jp2)
- CHAPTER3 BUILT-UP SYSTEMS OF FUNDAMENTAL SEQUENCES / p19 (0022.jp2)
- 3.1 Growing hierarchies on (n)-built-up systems / p19 (0022.jp2)
- 3.2 Conditions on systems of fundamental sequences / p25 (0028.jp2)
- 3.3 Existence problems / p29 (0032.jp2)
- CHAPTER4 PROVABLY COMPUTABLE FUNCTIONS IN PEANO ARITHMETIC / p34 (0037.jp2)
- 4.1 Provable computability / p34 (0037.jp2)
- 4.2 Undecidable combinatorial statements / p40 (0043.jp2)
- 4.3 Relativized hierarchies / p44 (0047.jp2)
- CHAPTER5 THE FAST AND SLOW GROWING HIERARCHIES AND INDUCTIVE DEFINITIONS / p50 (0053.jp2)
- 5.1 Fast-growing versus slow-growing / p50 (0053.jp2)
- 5.2 The collapsing theorem and (3)-built-upness / p55 (0058.jp2)
- 5.3 Provable computability / p61 (0064.jp2)
- CHAPTER6 DISCUSSIONS / p69 (0072.jp2)
- 6.1 Undecidable statements in theories of arithmetic / p69 (0072.jp2)
- 6.2 Applications of subrecursive hierarchies / p71 (0074.jp2)
- ACKNOWLEDGMENTS / p75 (0078.jp2)
- REFERENCES / p76 (0079.jp2)