Effective Aspects of Profinite Groups. - Rick L. Smith (J. Symb. Log., 1981)

Countable algebra and set existence axioms. - Harvey M. Friedman; Stephen G. Simpson; Rick L. Smith (Ann. Pure Appl. Log., 1983)

Addendum to "countable algebra and set existence axioms". - Harvey M. Friedman; Stephen G. Simpson; Rick L. Smith (Ann. Pure Appl. Log., 1985)

Decidable Regularly Closed Fields of Algebraic Numbers. - Lou van den Dries; Rick L. Smith (J. Symb. Log., 1985)

Members of countable π10 classes. - Douglas A. Cenzer; Peter Clote; Rick L. Smith; Robert I. Soare; Stanley S. Wainer (Ann. Pure Appl. Log., 1986)

Factorization of polynomials and Σ10 induction. - Stephen G. Simpson; Rick L. Smith (Ann. Pure Appl. Log., 1986)

On the Ranked Points of A pi01 Set. - Douglas A. Cenzer; Rick L. Smith (J. Symb. Log., 1989)