Interpreting classical theories in constructive ones

Journal of Symbolic Logic 65 (4):1785-1812 (2000)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 80,001

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

261 (#51,895)

6 months
2 (#319,224)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.

View all 9 references / Add more references