next up previous
Next: Introduction

Partial Realizations of Hilbert's Program

Stephen G. Simpson
Department of Mathematics
Pennsylvania State University

February 4, 1986

This article was originally written in MathText in January 1986. It was published in 1988 in the Journal of Symbolic Logic, volume 53, pages 349-363. The conversion to LaTeX was performed on December 7, 1996.


Stephen G Simpson