## Partial realizations of Hilbert’s program (1988)

### Cached

### Download Links

by
Stephen G. Simpson

Venue: | Journal of Symbolic Logic |

Citations: | 38 - 8 self |

### BibTeX

@ARTICLE{Simpson88partialrealizations,

author = {Stephen G. Simpson},

title = {Partial realizations of Hilbert’s program},

journal = {Journal of Symbolic Logic},

year = {1988},

volume = {53},

pages = {349--363}

}

### Years of Citing Articles

### OpenURL

### Abstract

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. 1