Metamathematics of First-Order Arithmetic

ISBN-13: 9781107168411 / Angielski / Twarda / 2017 / 474 str.

Petr Hajek; Pavel Pudlak

Opis

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

Recenzje

'… really a highly interesting book - a survey of a large amount of results presented in a systematic and clear way. It will serve as a source of information for those who want to learn metamathematics of first-order arithmetic as well as a reference book for people working in this field.' Zentralblatt fύr Mathematϊk und ihre Grenzgebiete

Spis treści

Introduction; Preliminaries; Part I: 1. Arithmetic as number theory, set theory and logic; 2. Fragments and combinatorics; Part II: 3. Self-reference; 4. Models of fragments of arithmetic; Part III: 5. Bounded arithmetic; Bibliographical remarks and further reading; Bibliography; Index of terms; Index of symbols.