6 found
Order:
  1.  19
    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.  18
    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.  15
    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.
    Profinite groups are Galois groups. The effective study of infinite Galois groups was initiated by Metakides and Nerode [8] and further developed by LaRoche [5]. In this paper we study profinite groups without considering Galois extensions of fields. The Artin method of representing a finite group as a Galois group has been generalized by Waterhouse [14] to profinite groups. Thus, there is no loss of relevance in our approach.The fundamental notions of a co-r.e. profinite group, recursively profinite group, and the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  12
    Decidable Regularly Closed Fields of Algebraic Numbers.Lou van den Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.