A compact set has computable type if any homeomorphic copy of the set which is
semicomputable is actually computable. Miller proved that finite-dimensional spheres have …

We examine conditions under which a semicomputable set in a computable topological
space is computable. In particular, we examine topological pairs (A, B) with the following …

We examine conditions under which a semicomputable set in a computable topological
space is computable. In particular, we examine topological spaces that have computable …

In the setting of computable topological spaces, we consider semicomputable, chainable
Hausdorff continua. If such a continuum S is decomposable, it can be computably …

The main objective of this thesis is to examine the concept of" computable type" and
enhance our overall understanding of this notion, as well as provide techniques for verifying …

Sažetak If every semicomputable set, in arbitrary computable topological space, which is
homeomorphic to a topological space A is computable, then we say that A has computable …

We provide a detailed study of two properties of spaces and pairs of spaces, the surjection
property and the ϵ-surjection property, that were recently introduced to characterize the …

Sažetak We consider topological spaces $ A $ which have computable type, which means
that any semicomputable set in a computable topological space which is homeomorphic to …

We are interested in topological compact pairs (∆, Σ), Σ Ç∆ which have computable type, ie
they satisfy the following property: if X is a computably Hausdorff space and f:∆→ X is a …

Résumé L'oBJECtiF principal de cette these est d'examiner le concept de" type calculable"
et d'améliorer notre compréhension globale de cette notion, ainsi que de fournir des …