Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- On extensionality, uniformity and comprehension in the theories of operations and classes
- The proof-theoretic analysis of the Suslin operator in applicative theories
- Feferman-Landin Logic
- Explicit mathematics with monotone inductive definitions: A survey
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
The proof-theoretic analysis of the Suslin operator in applicative theories
from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
Published online by Cambridge University Press: 31 March 2017
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- On extensionality, uniformity and comprehension in the theories of operations and classes
- The proof-theoretic analysis of the Suslin operator in applicative theories
- Feferman-Landin Logic
- Explicit mathematics with monotone inductive definitions: A survey
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781316755983/resource/name/firstPage-9781316755983c13_p270-292_CBO.jpg)
- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 270 - 292Publisher: Cambridge University PressPrint publication year: 2002
References
- 4
- Cited by