Computability of pseudo-cubes

DOI10.1016/j.apal.2020.102823zbMath1481.03042OpenAlexW3022004881MaRDI QIDQ2187274

Zvonko Iljazović, Bojan Pažek, Marko Horvat

Publication date: 2 June 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2020.102823

zbMATH Keywords

computable setcomputable topological spacesemicomputable setpseudo-cubepseudo-square

Mathematics Subject Classification ID

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

Related Items (3)

Strong computable type ⋮ Computable subcontinua of semicomputable chainable Hausdorff continua ⋮ Computability of products of chainable continua

Cites Work

• 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
• Warsaw discs and semicomputability
• Computability on computable metric spaces
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Une généralisation des espaces compacts
• 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

This page was built for publication: Computability of pseudo-cubes