Recent research has focused on various aspects of computable structures, including computably compact metric spaces, computable topological abelian groups, and the interplay between computability ...