Book contents
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- BASIC METALOGIC
- FURTHER TOPICS
- 19 Normal Forms
- 20 The Craig Interpolation Theorem
- 21 Monadic and Dyadic Logic
- 22 Second-Order Logic
- 23 Arithmetical Definability
- 24 Decidability of Arithmetic without Multiplication
- 25 Nonstandard Models
- 26 Ramsey's Theorem
- 27 Modal Logic and Provability
- Hints for Selected Problems
- Annotated Bibliography
- Index
23 - Arithmetical Definability
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- BASIC METALOGIC
- FURTHER TOPICS
- 19 Normal Forms
- 20 The Craig Interpolation Theorem
- 21 Monadic and Dyadic Logic
- 22 Second-Order Logic
- 23 Arithmetical Definability
- 24 Decidability of Arithmetic without Multiplication
- 25 Nonstandard Models
- 26 Ramsey's Theorem
- 27 Modal Logic and Provability
- Hints for Selected Problems
- Annotated Bibliography
- Index
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%3A9781139164931/resource/name/firstPage-9781139164931c23_p286-294_CBO.jpg)
- Type
- Chapter
- Information
- Computability and Logic , pp. 286 - 294Publisher: Cambridge University PressPrint publication year: 2002