Rick L. Smith

Publication Activity (10 Years)

Years Active: 1981-1989
Publications (10 Years): 0

Publications

Douglas A. Cenzer, Rick L. Smith
Set. J. Symb. Log. 54 (3) (1989)
Stephen G. Simpson, Rick L. Smith
induction. Ann. Pure Appl. Log. 31 (1986)
Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
classes. Ann. Pure Appl. Log. 31 (1986)
Lou van den Dries, Rick L. Smith
Decidable Regularly Closed Fields of Algebraic Numbers. J. Symb. Log. 50 (2) (1985)
Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
Addendum to "countable algebra and set existence axioms". Ann. Pure Appl. Log. 28 (3) (1985)
Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith
Countable algebra and set existence axioms. Ann. Pure Appl. Log. 25 (2) (1983)
Rick L. Smith
Effective Aspects of Profinite Groups. J. Symb. Log. 46 (4) (1981)