Review: Jeremy Avigad, Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic
Alberto Marcone
Source: Bull. Symbolic Logic Volume 7, Number 3 (2001), 390-391.
Reviewed Works:
Jeremy Avigad, Formalizing Forcing Arguments in Subsystems of Second-Order 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.bsl/1182353809
JSTOR: links.jstor.org
