( en | de | ru )

 

Disambiguation of "Solomon, Reed"

Author of the publication

copydeleteadd this publication to your clipboard
Effectiveness for infinite variable words and the Dual Ramsey Theorem.

, and . Arch. Math. Log., 43 (4): 543-556 (2004)

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

Tsegaye Solomon

 

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)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)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)Local Computability for Ordinals., , , and . CiE, volume 7921 of Lecture Notes in Computer Science, page 161-170. Springer, (2013)Separating Principles below Ramsey's Theorem for Pairs., , and . J. Math. Log., 13 (2): 1350007 (2013)Effectiveness for the Dual Ramsey Theorem., , , and . Notre Dame J. Formal Log., (2021)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)