Computability of semi-computable compact manifolds (CROSBI ID 604929)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Iljazović, Zvonko
engleski
Computability of semi-computable compact manifolds
We investigate conditions under which a co- computably enumerable closed set in a computable metric space is computable. We prove that in each computable metric space which is locally computable each co-computably enumerable compact manifold is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold is computable.
computable metric space; computable set; co-c.e. set; semi-computable compact set; compact manifold
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
17-17.
2012.
objavljeno
Podaci o matičnoj publikaciji
Informatik Berichte
Arno Pauly, Robert Rettinger, Klaus Weihrauch
Hagen: FernUniversitat in Hagen
Podaci o skupu
Ninth International Conference on Computability and Complexity in Analysis
predavanje
24.06.2012-27.06.2012
Cambridge, Ujedinjeno Kraljevstvo