We investigate conditions under which a co-computably enumerable set in acomputable metric space is computable. Using higher-dimensional chains andspherical chains we prove that in each computable metric space which is locallycomputable each co-computably enumerable sphere is computable and each co-c.e.cell with co-c.e. boundary sphere is computable
AbstractThe notions “recursively enumerable” and “recursive” are the basic notions of effectivity in...
We study the Borel complexity of topological operations on closed subsets of computable metric spac...
AbstractIn this paper we introduce and compare computability concepts on the set of closed subsets o...
We investigate conditions under which a co-computably enumerable closed setin a computable metric sp...
We investigate under what conditions a co-recursively enumerable set S in a computable metric space ...
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is act...
We investigate conditions on a computable metric space under which each co-computably enumerable set...
International audienceA compact set has computable type if any homeomorphic copy of the set which is...
AbstractThe notions “recursively enumerable” and “recursive” are the basic notions of effectivity in...
We consider arbitrary dimensional spheres and closed balls embedded in R n as Π 0 1 classes. Such a ...
AbstractWe consider arbitrary dimensional spheres and closed balls embedded in Rn as ⫫01 classes. Su...
AbstractWe consider an abstract metric space with a computability structure and an effective separat...
A semi-computable set S in a computable metric space need not be computable.However, in some cases, ...
AbstractEvery second-countable regular topological space X is metrizable. For a given “computable” t...
Abstract: We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), ...
AbstractThe notions “recursively enumerable” and “recursive” are the basic notions of effectivity in...
We study the Borel complexity of topological operations on closed subsets of computable metric spac...
AbstractIn this paper we introduce and compare computability concepts on the set of closed subsets o...
We investigate conditions under which a co-computably enumerable closed setin a computable metric sp...
We investigate under what conditions a co-recursively enumerable set S in a computable metric space ...
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is act...
We investigate conditions on a computable metric space under which each co-computably enumerable set...
International audienceA compact set has computable type if any homeomorphic copy of the set which is...
AbstractThe notions “recursively enumerable” and “recursive” are the basic notions of effectivity in...
We consider arbitrary dimensional spheres and closed balls embedded in R n as Π 0 1 classes. Such a ...
AbstractWe consider arbitrary dimensional spheres and closed balls embedded in Rn as ⫫01 classes. Su...
AbstractWe consider an abstract metric space with a computability structure and an effective separat...
A semi-computable set S in a computable metric space need not be computable.However, in some cases, ...
AbstractEvery second-countable regular topological space X is metrizable. For a given “computable” t...
Abstract: We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), ...
AbstractThe notions “recursively enumerable” and “recursive” are the basic notions of effectivity in...
We study the Borel complexity of topological operations on closed subsets of computable metric spac...
AbstractIn this paper we introduce and compare computability concepts on the set of closed subsets o...