Search the dblp DataBase

Publications of Author

1. Joseph S. Miller, Reed Solomon
   Effectiveness for infinite variable words and the Dual Ramsey Theorem. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:4, pp:543-556 [Journal]
   
2. Peter Cholak, Richard A. Shore, Reed Solomon
   A computably stable structure with no Scott family of finitary formulas. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2006, v:45, n:5, pp:519-538 [Journal]
   
3. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon
   Enumerations in computable structure theory. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:136, n:3, pp:219-246 [Journal]
   
4. Reed Solomon
   Pi₁⁰ classes and orderable groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2002, v:115, n:1-3, pp:279-302 [Journal]
   
5. Reed Solomon
   Ordered groups: a case study in reverse mathematics. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 1999, v:5, n:1, pp:45-58 [Journal]
   
6. Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon
   A delta⁰₂ Set with No Infinite Low Subset in Either It or Its Complement. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1371-1381 [Journal]
   
7. Reed Solomon
   PI¹₁-CA₀ and Order Types of Countable Ordered Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:1, pp:192-206 [Journal]
   
8. Reed Solomon
   Reverse Mathematics and Fully Ordered Groups. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1998, v:39, n:2, pp:157-189 [Journal]
   
9. Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
   Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order. [Citation Graph (0, 0)][DBLP]
   Order, 2002, v:19, n:4, pp:343-364 [Journal]
   
10. 
    On the filter of computably enumerable supersets of an r-maximal set. [Citation Graph (, )][DBLP]