TY - JOUR ID - 4645 TI - An effective version of definability in metric structures JO - AUT Journal of Mathematics and Computing JA - AJMC LA - en SN - 2783-2449 AU - Roshandel Tavana, Nazanin AD - Department of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran Y1 - 2022 PY - 2022 VL - 3 IS - 1 SP - 101 EP - 111 KW - metric model theory KW - TTE DO - 10.22060/ajmc.2021.20660.1071 N2 - 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. UR - https://ajmc.aut.ac.ir/article_4645.html L1 - https://ajmc.aut.ac.ir/article_4645_4280298451c67d5e0ba7b6a16cb157c9.pdf ER -