6 found
Order:
  1.  8
    Members of Countable Π10 Classes.Douglas Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare & Stanley S. Wainer - 1986 - Annals of Pure and Applied Logic 31 (2):145-163.
  2. Decidable Regularly Closed Fields of Algebraic Numbers.Louden Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.
  3.  17
    On the Ranked Points of a Π1 0 Set.Douglas Cenzer & Rick L. Smith - 1989 - Journal of Symbolic Logic 54 (3):975-991.
    This paper continues joint work of the authors with P. Clote, R. Soare and S. Wainer (Annals of Pure and Applied Logic, vol. 31 (1986), pp. 145--163). An element x of the Cantor space 2 ω is said have rank α in the closed set P if x is in $D^\alpha(P)\backslash D^{\alpha + 1}(P)$ , where D α is the iterated Cantor-Bendixson derivative. The rank of x is defined to be the least α such that x has rank α in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  10
    Addendum to “Countable Algebra and Set Existence Axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.
  5.  9
    Effective Aspects of Profinite Groups.Rick L. Smith - 1981 - Journal of Symbolic Logic 46 (4):851-863.
  6.  3
    Countable Algebra and Set Existence Axioms.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1987 - Journal of Symbolic Logic 52 (1):276-278.
    Direct download  
     
    Export citation  
     
    Bookmark