Chainable and circularly chainable co-r.e. sets in computable metric spaces

zbMATH Open1201.03033MaRDI QIDQ3639062FDOQ3639062

Authors: Zvonko Iljazovic 

Publication date: 28 October 2009

Full work available at URL: http://www.jucs.org/jucs_15_6/chainable_and_circularly_chainable

Recommendations

• Local computability of computable metric spaces and computability of co-c.e. continua
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Co-c.e. spheres and cells in computable metric spaces
• Co-c.e. sets with disconnected complements
• Computable intersection points

zbMATH Keywords

chainable continuumcomputable metric spacerecursive setcircularly chainable continuumeffective covering propertyco-r.e. set

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Cited In (21)

• Computable approximations of a chainable continuum with a computable endpoint
• Effective compactness and orbits of points under the isometry group
• On the topological aspects of the theory of represented spaces
• Computability of Subsets of Metric Spaces
• The surjection property and computable type
• Co-c.e. sets with disconnected complements
• COMPUTABLY COMPACT METRIC SPACES
• Local computability of computable metric spaces and computability of co-c.e. continua
• Strong computable type
• Computability of products of chainable continua
• Computability of pseudo-cubes
• Computable subcontinua of semicomputable chainable Hausdorff continua
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Computable presentations of C*-algebras
• Connected choice and the Brouwer fixed point theorem
• Dense computability structures
• Co-c.e. spheres and cells in computable metric spaces
• Computable neighbourhoods of points in semicomputable manifolds
• Semicomputable manifolds in computable topological spaces
• Warsaw discs and semicomputability
• Computability of graphs

This page was built for publication: Chainable and circularly chainable co-r.e. sets in computable metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639062)