Interpreting Classical Theories in Constructive Ones
Jeremy Avigad
Source: J. Symbolic Logic Volume 65, Issue 4 (2000), 1785-1812.
Abstract
A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of first- and second-order arithmetic, bounded arithmetic, and admissible set theory.
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.
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183746263
JSTOR: links.jstor.org
Mathematical Reviews number (MathSciNet):
MR1812180
Zentralblatt MATH identifier:
0981.03061
