Partial realizations of Hilbert’s program (1988)
by
Stephen G. Simpson
| Venue: | Journal of Symbolic Logic |
| Citations: | 33 - 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
Bookmark
 |
 |
 |
 |
 |
 |
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
