Reed Solomon

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 9

Top Topics

Significantly Lower

Computer Assisted Learning

Subgraph Isomorphism

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
On the isomorphism problem for some classes of computable algebraic structures. Arch. Math. Log. 61 (5-6) (2022)
Jennifer Chubb, Russell G. Miller, Reed Solomon
Model completeness and relative decidability. Arch. Math. Log. 60 (6) (2021)
Damir D. Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick
Effectiveness for the Dual Ramsey Theorem. Notre Dame J. Formal Log. 62 (3) (2021)
Eric P. Astor, Damir D. Dzhafarov, Antonio Montalbán, Reed Solomon, Linda Brown Westrick
The determined Property of Baire in Reverse Math. J. Symb. Log. 85 (1) (2020)
Johanna N. Y. Franklin, Reed Solomon
Lowness for isomorphism, countable ideals, and computable traceability. Math. Log. Q. 66 (1) (2020)
Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
The reverse mathematics of Hindman's Theorem for sums of exactly two elements. Comput. 8 (3-4) (2019)
Damir D. Dzhafarov, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
Effectiveness of Hindman's Theorem for Bounded Sums. Computability and Complexity (2017)
Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs
The uniform content of partial and linear orders. Ann. Pure Appl. Log. 168 (6) (2017)
Reed Solomon
Computable Reductions and Reverse Mathematics. CiE (2016)
Johanna N. Y. Franklin, Reed Solomon
Degrees that Are Low for Isomorphism. Comput. 3 (2) (2014)
Russell G. Miller, Reed Solomon, Rebecca M. Steiner
On the Effectiveness of Symmetry Breaking. CiE (2014)
Manuel Lerman, Reed Solomon, Henry Towsner
Separating Principles below Ramsey's Theorem for Pairs. J. Math. Log. 13 (2) (2013)
Asher M. Kach, Karen M. Lange, Reed Solomon
Degrees of orders on torsion-free Abelian groups. Ann. Pure Appl. Log. 164 (7-8) (2013)
Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon
Local Computability for Ordinals. CiE (2013)
Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov, Reed Solomon
Jump degrees of torsion-free abelian groups. J. Symb. Log. 77 (4) (2012)
Bjørn Kjos-Hanssen, Joseph S. Miller, Reed Solomon
Lowness notions, measure and domination. J. Lond. Math. Soc. 85 (3) (2012)
Peter Cholak, David J. Galvin, Reed Solomon
Reverse mathematics and infinite traceable graphs. Math. Log. Q. 58 (1-2) (2012)
Barbara F. Csima, Reed Solomon
The complexity of central series in nilpotent computable groups. Ann. Pure Appl. Log. 162 (8) (2011)
Asher M. Kach, Oscar Levin, Reed Solomon
Embeddings of Computable Structures. Notre Dame J. Formal Log. 51 (1) (2010)
Carl G. Jockusch Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon
Stability and posets. J. Symb. Log. 74 (2) (2009)
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon
Self-Embeddings of Computable Trees. Notre Dame J. Formal Log. 49 (1) (2008)
Peter Cholak, Richard A. Shore, Reed Solomon
A computably stable structure with no Scott family of finitary formulas. Arch. Math. Log. 45 (5) (2006)
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination. J. Symb. Log. 71 (1) (2006)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Enumerations in computable structure theory. Ann. Pure Appl. Log. 136 (3) (2005)
Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Computable categoricity of trees of finite height. J. Symb. Log. 70 (1) (2005)
Peter Cholak, Alberto Marcone, Reed Solomon
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. 69 (3) (2004)
Joseph S. Miller, Reed Solomon
Effectiveness for infinite variable words and the Dual Ramsey Theorem. Arch. Math. Log. 43 (4) (2004)
Reed Solomon
classes and orderable groups. Ann. Pure Appl. Log. 115 (1-3) (2002)
Steffen Lempp, Mikhail G. Peretyat'kin, Reed Solomon
The Lindenbaum Algebra of the Theory of the class of All finite Models. J. Math. Log. 2 (2) (2002)
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. Order 19 (4) (2002)
Reed Solomon
and Order Types of Countable Ordered Groups. J. Symb. Log. 66 (1) (2001)
Steffen Lempp, André Nies, Reed Solomon
On the filter of computably enumerable supersets of an r-maximal set. Arch. Math. Log. 40 (6) (2001)
Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon
Set with No Infinite Low Subset in Either It or Its Complement. J. Symb. Log. 66 (3) (2001)
Reed Solomon
Ordered groups: a case study in reverse mathematics. Bull. Symb. Log. 5 (1) (1999)
Reed Solomon
Reverse Mathematics and Fully Ordered Groups. Notre Dame J. Formal Log. 39 (2) (1998)