Author of the publication

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.

 

Other publications of authors with the same name

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)Embeddings of Computable Structures., , and . Notre Dame J. Formal Log., 51 (1): 55-68 (2010)A delta02 Set with No Infinite Low Subset in Either It or Its Complement., , , and . J. Symb. Log., 66 (3): 1371-1381 (2001)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)The complexity of central series in nilpotent computable groups., and . Ann. Pure Appl. Log., 162 (8): 667-678 (2011)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)