6 citations · 22 across the 17 of their papers we have counts for
Showing 2022 · math.LOShow all
2 papers · 2 filters
math.LO2022
Strong computable type
Djamel Eddine Amir, Mathieu Hoyrup
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 computable…
math.LO2022★ 1 cited
Computability of finite simplicial complexes
Djamel Eddine Amir, Mathieu Hoyrup
The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X…