%0 Journal Article %T An effective version of definability in metric structures %J AUT Journal of Mathematics and Computing %I Amirkabir University of Technology %Z 2783-2449 %A Roshandel Tavana, Nazanin %D 2022 %\ 02/01/2022 %V 3 %N 1 %P 101-111 %! An effective version of definability in metric structures %K metric model theory %K TTE %R 10.22060/ajmc.2021.20660.1071 %X In this paper, a computably definable predicate in metric structures is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable predicate in these structures is computable. %U https://ajmc.aut.ac.ir/article_4645_4280298451c67d5e0ba7b6a16cb157c9.pdf