Book contents
- Frontmatter
- Contents
- PREFACE
- PRELIMINARIES
- Part 1 Basic proof theory and computability
- Part 2 Provable recursion in classical systems
- CHAPTER 4 THE PROVABLY RECURSIVE FUNCTIONS OF ARITHMETIC
- CHAPTER 5 ACCESSIBLE RECURSIVE FUNCTIONS, ID<ω AND Π-CA0
- Part 3 Constructive logic and complexity
- BIBLIOGRAPHY
- INDEX
CHAPTER 5 - ACCESSIBLE RECURSIVE FUNCTIONS, ID<ω AND Π-CA0
from Part 2 - Provable recursion in classical systems
Published online by Cambridge University Press: 05 January 2012
- Frontmatter
- Contents
- PREFACE
- PRELIMINARIES
- Part 1 Basic proof theory and computability
- Part 2 Provable recursion in classical systems
- CHAPTER 4 THE PROVABLY RECURSIVE FUNCTIONS OF ARITHMETIC
- CHAPTER 5 ACCESSIBLE RECURSIVE FUNCTIONS, ID AND Π-CA0
- Part 3 Constructive logic and complexity
- BIBLIOGRAPHY
- INDEX
Summary
- Type
- Chapter
- Information
- Proofs and Computations , pp. 195 - 246Publisher: Cambridge University PressPrint publication year: 2011