Rick L. Smith

According to our database, Rick L. Smith authored at least 7 papers between 1981 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1989

On the Ranked Points of A pi⁰₁ Set.

Douglas A. Cenzer, Rick L. Smith

J. Symb. Log., 1989

1986

Factorization of polynomials and Σ₁⁰ induction.

Stephen G. Simpson, Rick L. Smith

Ann. Pure Appl. Log., 1986

Members of countable π₁⁰ classes.

Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer

Ann. Pure Appl. Log., 1986

1985

Decidable Regularly Closed Fields of Algebraic Numbers.

Lou van den Dries, Rick L. Smith

J. Symb. Log., 1985

Addendum to "countable algebra and set existence axioms".

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith

Ann. Pure Appl. Log., 1985

1983

Countable algebra and set existence axioms.

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith

Ann. Pure Appl. Log., 1983

1981

Effective Aspects of Profinite Groups.

Rick L. Smith

J. Symb. Log., 1981