Theodore A. Slaman

Bibliography

MSC 03H15, Nonstandard models of arithmetic.

1. Slaman, Theodore A. (2004). Σn-Bounding and Δn-Induction. Proc. Amer. Math. Soc. 132 2449--2456. [pdf] [MR] [GS][MRef]