Metamathematics of First-Order Arithmetic

Author(s) Petr Hájek, Pavel Pudlák

Perspect. Logic, 3: 460pp. (1998).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 3

460 pp.

Published: 1998

First available in Project Euclid: 23 February 2009

MathSciNet: MR1748522

ISBN: 354063648X

Subjects:

Primary: 11U09 , 11U10 , 68Q15 , C3D15 , C3H15 , O3F3O

Perspectives in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, - (1998). Open Access

Introduction

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 1-4 (1998). Open Access

Preliminaries

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 5-23 (1998). Open Access

Part A

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

Petr Hájek, Pavel Pudlák

Perspectives in Logic Vol. 3, 27-109 (1998). Open Access

Chapter II: Fragments and Combinatorics

Petr Hájek, Pavel Pudlák

Perspectives in Logic Vol. 3, 111-144 (1998). Open Access

Part B

Chapter III: Self-Reference

Petr Hájek, Pavel Pudlák

Perspectives in Logic Vol. 3, 147-212 (1998). Open Access

Chapter IV: Models of Fragments of Arithmetic

Petr Hájek, Pavel Pudlák

Perspectives in Logic Vol. 3, 213-263 (1998). Open Access

Part C

Chapter V: Bounded Arithmetic

Petr Hájek, Pavel Pudlák

Perspectives in Logic Vol. 3, 267-395 (1998). Open Access

Bibliographical Remarks and Further Reading

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 397-407 (1998). Open Access

Bibliography

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 409-453 (1998). Open Access

Index of Terms

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 455-457 (1998). Open Access

Index of Symbols

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, 459-460 (1998). Open Access

Miscellaneous Backmatter

Petr Hájek , Pavel Pudlák

Perspectives in Logic Vol. 3, - (1998). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS