|
|||||
|
|
Effective compactness and orbits of points under the isometry group |
|
| Institution: | University of Zagreb, Faculty of Science, Department of Mathematics, Bijeni?ka cesta 30, 10 000 Zagreb, Croatia |
| Abstract: | |
| Keywords: | Computable metric space Effective compactness Computability structure Computably categorical metric space |
| 本文献已被 ScienceDirect 等数据库收录！ | |