Title of article :
An effective version of definability in metric structures
Author/Authors :
Roshandel Tavana, Nazanin Department of Mathematics and Computer Science - Amirkabir University of Technology (Tehran Polytechnic) - Tehran, Iran
Abstract :
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.
Keywords :
Metric model theory , TTE
Journal title :
AUT Journal of Mathematics and Computing
