Co-c.e. spheres and cells in computable metric spaces

DOI10.2168/LMCS-7(3:5)2011zbMath1237.03029arXiv1106.2769OpenAlexW2048092728MaRDI QIDQ3224671

Zvonko Iljazović

Publication date: 2 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1106.2769

zbMATH Keywords

computable setcomputable metric spaceco-c.e. set\(n\)-chainspherical \(n\)-chain

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (12)

Computability of pseudo-cubes ⋮ Strong computable type ⋮ Computable approximations of a chainable continuum with a computable endpoint ⋮ Unnamed Item ⋮ Semicomputable manifolds in computable topological spaces ⋮ Warsaw discs and semicomputability ⋮ On the topological aspects of the theory of represented spaces ⋮ Chainable and circularly chainable semicomputable sets in computable topological spaces ⋮ Co-c.e. sets with disconnected complements ⋮ Computability of products of chainable continua ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computability of Subsets of Metric Spaces

This page was built for publication: Co-c.e. spheres and cells in computable metric spaces