Metamathematics of First-Order Arithmetic

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

First Name

Last/Family Name

Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period

Confirm Password

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

< Previous Volume | 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