- 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