Date of Original Version
1998
Type
Conference Proceeding
Published In
Logic Colloquium '98. Edited by S.R. Buss, P. Hajek, and P. Pudlak. Lecture Notes in Logic 13, AK Peters, 57-90, 2000.
Abstract or Table of Contents
A constructive realizablity interpretation for classical arithmetic is presented.