Computably discrete represented spaces

Eike Neumann, Arno Pauly, Cécilia Pradic +1

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial s…