|
|
|
|
an effective version of definability in metric structures
|
|
|
|
|
|
|
|
نویسنده
|
roshandel tavana nazanin
|
|
منبع
|
aut journal of mathematics and computing - 2022 - دوره : 3 - شماره : 1 - صفحه:101 -111
|
|
چکیده
|
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.
|
|
کلیدواژه
|
metric model theory ,tte
|
|
آدرس
|
amirkabir university of technology (tehran polytechnic), department of mathematics and computer science, iran
|
|
پست الکترونیکی
|
nrtavana@aut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|