12 papers

---

• 1011184
  Cenzer, Douglas(1-FL); Smith, Rick L.(1-FL)
  On the ranked points of a $\Pi\sp 0\sb 1$ set.
  J. Symbolic Logic 54 (1989), no. 3, 975--991.
  03E15 (03D70 03F60)
• 1011184
  Cenzer, Douglas(1-FL); Smith, Rick L.(1-FL)
  On the ranked points of a $\Pi\sp 0\sb 1$ set.
  J. Symbolic Logic 54 (1989), no. 3, 975--991.
  03E15 (03D70 03F60)
• 854297
  Simpson, Stephen G.(1-PAS); Smith, Rick L.(1-FL)
  Factorization of polynomials and $\Sigma\sp 0\sb 1$ induction.
  Special issue: second Southeast Asian logic conference (Bangkok, 1984).
  Ann. Pure Appl. Logic 31 (1986), no. 2-3, 289--306.
  03F35 (12E05)
• 854290
  Cenzer, Douglas(1-FL); Clote, Peter(1-BSTC); Smith, Rick L.(1-FL); Soare, Robert I.(1-CHI); Wainer, Stanley S.(4-LEED)
  Members of countable $\Pi\sp 0\sb 1$ classes.
  Special issue: second Southeast Asian logic conference (Bangkok, 1984).
  Ann. Pure Appl. Logic 31 (1986), no. 2-3, 145--163.
  03D55
• 835256
  Smith, Rick L.
  The consistency strengths of some finite forms of the Higman and Kruskal theorems.
  Harvey Friedman's research on the foundations of mathematics, 119--136,
  Stud. Logic Found. Math., 117,
  North-Holland, Amsterdam, 1985.
  03F35 (03F20 05C05)
• 793127
  van den Dries, Lou(1-STF); Smith, Rick L.(1-FL)
  Decidable regularly closed fields of algebraic numbers.
  J. Symbolic Logic 50 (1985), no. 2, 468--475.
  12L05 (03B25 03C60)
• 790391
  Friedman, Harvey M.(1-OHSN); Simpson, Stephen G.(1-PAS); Smith, Rick L.(1-FL)
  Addendum to: "Countable algebra and set existence axioms" [Ann. Pure Appl. Logic 25 (1983), no. 2, 141--181; MR 85i:03157].
  Ann. Pure Appl. Logic 28 (1985), no. 3, 319--320.
  03E30 (03E70 03F35 03F60)
• 725732
  Friedman, Harvey M.(1-OHS); Simpson, Stephen G.(1-PAS); Smith, Rick L.(1-FL)
  Countable algebra and set existence axioms.
  Ann. Pure Appl. Logic 25 (1983), no. 2, 141--181.
  03E30 (03E70 03F35 03F60)
• 619876
  Smith, Rick L.
  Two theorems on autostability in $p$-groups.
  Logic Year 1979--80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80), pp. 302--311,
  Lecture Notes in Math., 859,
  Springer, Berlin-New York, 1981.
  03D45 (20A15)
• 641497
  Smith, Rick L.
  Effective aspects of profinite groups.
  J. Symbolic Logic 46 (1981), no. 4, 851--863.
  03D45 (12F10 20E18)
• 629261
  Smith, Rick L.
  Effective valuation theory.
  Aspects of effective algebra (Clayton, 1979), pp. 232--245,
  Upside Down A Book Co., Yarra Glen, Vic., 1981.
  03D45 (12J10 12J20 12L99)
• 603671
  Nerode, Anil; Smith, Rick L.
  The undecidability of the lattice of recursively enumerable subspaces.
  Proceedings of the Third Brazilian Conference on Mathematical Logic (Inst. Math., Fed. Univ. Pernambuco, Recife, 1979), pp. 245--252,
  Soc. Brasil. Lógica, S ao Paulo, 1980.
  03D45 (03D35 06D99)

---

Last update made Sun Jan 7 14:03:29 EST 2018