Computable type of certain quotient spaces

DOI10.1017/JSL.2025.30MaRDI QIDQ6858906zbMATH OpenFDO

Authors Matea Čelar, Zvonko Iljazovic

Publication date 12 February 2026

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/JSL.2025.30

zbMATH Keywords

computable quotient spacecomputable setcomputable topological spacecomputable typelocal computabilitysemicomputable set

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78)

Cites work

• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Chainable and circularly chainable semicomputable sets in computable topological 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 of finite simplicial complexes
• Computability of glued manifolds
• Computability of graphs
• Computability of products of chainable continua
• Computability of pseudo-cubes
• 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 separation in topology, from \(T_{0}\) to \(T_{2}\)
• Computable subcontinua of semicomputable chainable Hausdorff continua
• 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 3622573 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• Incomputability of Simply Connected Planar Continua
• Is the Mandelbrot set computable?
• On a Π⁰₁ Set of Positive Measure
• On computable numbers, with an application to the Entscheidungsproblem.
• Plottable Real Number Functions and the Computable Graph Theorem
• Semicomputable manifolds in computable topological spaces
• Strong computable type
• Warsaw discs and semicomputability

This page was built for publication: Computable type of certain quotient spaces

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