Log in :: RSS/Atom Feeds
Perspectives in Logic

Metamathematics of First-Order Arithmetic

Petr Hájek, and Pavel Pudlák

Perspectives in Mathematical Logic, Volume 3
Berlin: Springer-Verlag, 1998. 2nd printing
460 pp.

Subjects:

O3F3O (primary)
C3H15 (primary)
C3D15 (primary)
68Q15 (primary)
11U09 (primary)
11U10 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.pl/1235421926
Mathmatical Reviews number (MathSciNet): MR1748522
ISBN:3-540-63648-X

Copyright © 1998, Association for Symbolic Logic.

Miscellaneous Frontmatter

Introduction

1-4

Preliminaries

5-23

Part A

Chapter I: Arithmetic as Number Theory, Set Theory and Logic

27-109

Chapter II: Fragments and Combinatorics

111-144

Part B

Chapter III: Self-Reference

147-212

Chapter IV: Models of Fragments of Arithmetic

213-263

Part C

Chapter V: Bounded Arithmetic

267-395

Bibliographical Remarks and Further Reading

397-407

Bibliography

409-453

Index of Terms

455-457

Index of Symbols

459-460

Miscellaneous Backmatter