Chainable and circularly chainable semicomputable sets in computable topological spaces

DOI10.1007/S00153-019-00667-WMaRDI QIDQ2274137zbMATH OpenOpenAlexWikidataFDO

Authors Eugen Čičković, Zvonko Iljazovic, Lucija Validžić

Publication date 19 September 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-019-00667-w

zbMATH Keywords

chainable continuumcircularly chainable continuumcomputable setcomputable topological spacesemicomputable set

Mathematics Subject Classification ID

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

Recommendations

• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Semicomputable manifolds in computable topological spaces
• Local computability of computable metric spaces and computability of co-c.e. continua
• Computable neighbourhoods of points in semicomputable manifolds
• Computable intersection points

Cites work

• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Co-c.e. sets with disconnected complements
• Co-c.e. spheres and cells in computable metric spaces
• Compact manifolds with computable boundaries
• Computability of 1-manifolds
• Computability on computable metric spaces
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Computable intersection points
• Computable neighbourhoods of points in semicomputable manifolds
• Computable separation in topology, from \(T_{0}\) to \(T_{2}\)
• Effectiveness for embedded spheres and balls
• Elementary computable topology
• scientific article; zbMATH DE number 3143695 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 53928 (Why is no real title available?)
• scientific article; zbMATH DE number 3541605 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Incomputability of Simply Connected Planar Continua
• Local computability of computable metric spaces and computability of co-c.e. continua
• On a Π⁰₁ Set of Positive Measure
• Plottable Real Number Functions and the Computable Graph Theorem
• Semicomputable manifolds in computable topological spaces

Cited in

(16)

• Semicomputable manifolds in computable topological spaces
• Computability of products of chainable continua
• Dense computability structures
• Computability of pseudo-cubes
• Computable subcontinua of semicomputable chainable Hausdorff continua
• Local computability of computable metric spaces and computability of co-c.e. continua
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Computability of 1-manifolds
• Computable neighbourhoods of points in semicomputable manifolds
• Computability of graphs
• Strong computable type
• Computable approximations of a chainable continuum with a computable endpoint
• The surjection property and computable type
• Computable subcontinua of circularly chainable continua
• Computable type of certain quotient spaces
• Computability of chainable graphs

This page was built for publication: Chainable and circularly chainable semicomputable sets in computable topological spaces

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