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

Computability of Polish Spaces up to Homeomorphism., , and . J. Symb. Log., 85 (4): 1664-1686 (2020)Decidability and Computability of Certain Torsion-Free Abelian Groups., , , , , , and . Notre Dame J. Formal Log., 51 (1): 85-96 (2010)Abelian p-groups and the Halting problem., , and . Ann. Pure Appl. Log., 167 (11): 1123-1138 (2016)Turing reducibility in the fine hierarchy., , and . Ann. Pure Appl. Log., 171 (7): 102766 (2020)Algebraic structures computable without delay., , and . Theor. Comput. Sci., (2017)Computable model theory., , and . Turing's Legacy, volume 42 of Lecture Notes in Logic, Cambridge University Press, (2014)Foundations of Online Structure Theory II: The Operator Approach., , and . Log. Methods Comput. Sci., (2021)The Classification Problem for Compact Computable Metric Spaces., and . CiE, volume 7921 of Lecture Notes in Computer Science, page 320-328. Springer, (2013)Computable Stone spaces., , and . Ann. Pure Appl. Log., 174 (9): 103304 (October 2023)Online presentations of finitely generated structures., , , and . Theor. Comput. Sci., (2020)