Perspectives in Logic

Chapter IV: Models of Fragments of Arithmetic

Full-text: Open access

Chapter information

Source
Petr Hájek, Pavel Pudlák, Metamathematics of First-Order Arithmetic, 2nd printing (Berlin: Springer-Verlag, 1998), 213-263

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235421933

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Hájek, Petr; Pudlák, Pavel. Chapter IV: Models of Fragments of Arithmetic. Metamathematics of First-Order Arithmetic, 213--263, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.pl/1235421933


Export citation