Local computability of computable metric spaces and computability of co-c.e. continua

DOI10.3336/GM.47.1.01MaRDI QIDQ2901980zbMATH OpenOpenAlexFDO

Authors Zvonko Iljazovic

Publication date 1 August 2012

Published in Glasnik Matematički. Serija III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3336/gm.47.1.01

zbMATH Keywords

computable setcomputable metric spaceco-c.e. seteffective covering propertylocal computability

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Recommendations

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

Cited in

(17)

• Dense computability structures
• Computability of graphs
• scientific article; zbMATH DE number 1086720 (Why is no real title available?)
• Computability of Subsets of Metric Spaces
• Computability of products of chainable continua
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Local compactness for computable Polish metric spaces is \(\varPi ^1_1\)-complete
• Computability of pseudo-cubes
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Co-c.e. sets with disconnected complements
• Computability on Subsets of Locally Compact Spaces
• Co-c.e. spheres and cells in computable metric spaces
• Effective versions of local connectivity properties
• Effective compactness and orbits of points under the isometry group
• On local non‐compactness in recursive mathematics
• Computable neighbourhoods of points in semicomputable manifolds
• Computable subcontinua of semicomputable chainable Hausdorff continua

This page was built for publication: Local computability of computable metric spaces and computability of co-c.e. continua

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