Some old papers by Stephen G. Simpson
I am Stephen G. Simpson, a mathematician at Penn State
University. Before I began using LaTeX, I used a now-obsolete
mathematical word processor called MathText. Here are some of my old
papers in that format.
- Partial realizations of Hilbert's
Program: MT.
- WKL0 and orderings of countable Abelian
groups: MT.
- Ordinal numbers and the Hilbert Basis
Theorem: MT.
- Periodic points and subsystems of second order
arithmetic: MT.
- Unprovable theorems and fast-growing functions:
1 MT, 2 MT,
3 MT.
- Countable valued fields in weak subsystems of second order
arithmetic: MT.
- Measure theory and Weak König's
Lemma: MT.
Also available is information on my books and papers and lecture notes and talks.
t20@psu.edu / 16 June 2014