Dense computability structures

DOI10.1016/j.jco.2020.101543OpenAlexW3112273026MaRDI QIDQ2041062

Zvonko Iljazović, Konrad Burnik

Publication date: 15 July 2021

Published in: Journal of Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jco.2020.101543

zbMATH Keywords

computable metric spacecomputability structuredense computability structuremaximal computability structure

Mathematics Subject Classification ID

Theory of computing (68Qxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Effective properties of sets and functions in metric spaces with computability structure
• Computability on subsets of metric spaces.
• Semicomputable manifolds in computable topological spaces
• Computability on computable metric spaces
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Local computability of computable metric spaces and computability of co-c.e. continua
• A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
• Metric bases in digital geometry
• Computability of 1-manifolds
• MAXIMAL COMPUTABILITY STRUCTURES
• Computably Isometric Spaces
• Convex Analysis
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Dense computability structures