( en | de | ru )

 

Disambiguation of "Solomon, Reed"

Author of the publication

copydeleteadd this publication to your clipboard
Computable Reductions and Reverse Mathematics.

. CiE, volume 9709 of Lecture Notes in Computer Science, page 182-191. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicholas Reed

Philippa Reed

Kate Reed

Sean Reed

Solomon Alemu

 

Other publications of authors with the same name

Computable categoricity of trees of finite height., , , and . J. Symb. Log., 70 (1): 151-215 (2005)Ordered groups: a case study in reverse mathematics.. Bull. Symb. Log., 5 (1): 45-58 (1999)Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order., , , and . Order, 19 (4): 343-364 (2002)On the isomorphism problem for some classes of computable algebraic structures., , , , and . Arch. Math. Log., 61 (5-6): 813-825 (2022)Effectiveness of Hindman's Theorem for Bounded Sums., , , and . Computability and Complexity, volume 10010 of Lecture Notes in Computer Science, page 134-142. Springer, (2017)Local Computability for Ordinals., , , and . CiE, volume 7921 of Lecture Notes in Computer Science, page 161-170. Springer, (2013)Effectiveness for the Dual Ramsey Theorem., , , and . Notre Dame J. Formal Log., (2021)Separating Principles below Ramsey's Theorem for Pairs., , and . J. Math. Log., 13 (2): 1350007 (2013)On the Effectiveness of Symmetry Breaking., , and . CiE, volume 8493 of Lecture Notes in Computer Science, page 314-323. Springer, (2014)Lowness for isomorphism, countable ideals, and computable traceability., and . Math. Log. Q., 66 (1): 104-114 (2020)