Journal of Symbolic Logic

Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic

Stephen G. Simpson

Source: J. Symbolic Logic Volume 48, Issue 2 (1983), 482-483.

Reviewed Works:

L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms.

J. B. Paris, Some Independence Results for Peano Arithmetic.

Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183741263
JSTOR: links.jstor.org


2009 © Association for Symbolic Logic