On the Ranked Points of A pi01 Set.

Rick L. Smith

Douglas A. Cenzer Rick L. Smith On the Ranked Points of A pi01 Set. 975-991 1989 54 J. Symb. Log. 3 db/journals/jsyml/jsyml54.html#CenzerS89 https://doi.org/10.2307/2274757 http://projecteuclid.org/euclid.jsl/1183743032

Douglas A. Cenzer Peter Clote Rick L. Smith Robert I. Soare Stanley S. Wainer Members of countable π10 classes. 145-163 1986 31 Ann. Pure Appl. Log. https://doi.org/10.1016/0168-0072(86)90067-9 db/journals/apal/apal31.html#CenzerCSSW86

Stephen G. Simpson Rick L. Smith Factorization of polynomials and Σ10 induction. 289-306 1986 31 Ann. Pure Appl. Log. https://doi.org/10.1016/0168-0072(86)90074-6 db/journals/apal/apal31.html#SimpsonS86

Harvey M. Friedman Stephen G. Simpson Rick L. Smith Addendum to "countable algebra and set existence axioms". 319-320 1985 28 Ann. Pure Appl. Log. 3 https://doi.org/10.1016/0168-0072(85)90020-X https://www.wikidata.org/entity/Q114684044 db/journals/apal/apal28.html#FriedmanSS85

Lou van den Dries Rick L. Smith Decidable Regularly Closed Fields of Algebraic Numbers. 468-475 1985 50 J. Symb. Log. 2 db/journals/jsyml/jsyml50.html#DriesS85 https://doi.org/10.2307/2274235 http://projecteuclid.org/euclid.jsl/1183741853

Harvey M. Friedman Stephen G. Simpson Rick L. Smith Countable algebra and set existence axioms. 141-181 1983 25 Ann. Pure Appl. Log. 2 https://doi.org/10.1016/0168-0072(83)90012-X db/journals/apal/apal25.html#FriedmanSS83

Rick L. Smith Effective Aspects of Profinite Groups. 851-863 1981 46 J. Symb. Log. 4 db/journals/jsyml/jsyml46.html#Smith81 https://doi.org/10.2307/2273233 http://projecteuclid.org/euclid.jsl/1183740894

Douglas A. Cenzer Peter Clote Lou van den Dries Harvey M. Friedman Stephen G. Simpson Robert Irving SoareRobert I. Soare Stanley S. Wainer