Computability of products of chainable continua

DOI10.1007/s00224-020-10017-6OpenAlexW3103397699MaRDI QIDQ2035483

Matea Čelar, Zvonko Iljazović

Publication date: 24 June 2021

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-020-10017-6

zbMATH Keywords

computable setcomputable topological spacesemicomputable setproduct of chainable continua

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General topology (54-XX)

Related Items

Strong computable type, Computable approximations of a chainable continuum with a computable endpoint, Separating notions in effective topology, COMPUTABLY COMPACT METRIC SPACES, Computable subcontinua of semicomputable chainable Hausdorff continua

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable neighbourhoods of points in semicomputable manifolds
• Co-c.e. sets with disconnected complements
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Semicomputable manifolds in computable topological spaces
• Computability on computable metric spaces
• Computability of pseudo-cubes
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Compact manifolds with computable boundaries
• Local computability of computable metric spaces and computability of co-c.e. continua
• Co-c.e. spheres and cells in computable metric spaces
• Plottable Real Number Functions and the Computable Graph Theorem
• Computable intersection points
• Incomputability of Simply Connected Planar Continua
• Effectiveness for Embedded Spheres and Balls
• Computability of 1-manifolds
• On a Π⁰₁ Set of Positive Measure
• On Computable Numbers, with an Application to the Entscheidungsproblem