Dense computability structures

DOI10.1016/J.JCO.2020.101543MaRDI QIDQ2041062zbMATH OpenOpenAlexFDO

Authors Konrad Burnik, Zvonko Iljazovic

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

computability structurecomputable metric spacedense computability structuremaximal computability structure

Mathematics Subject Classification ID

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

Recommendations

• Maximal computability structures
• scientific article; zbMATH DE number 1222111
• Effective properties of sets and functions in metric spaces with computability structure
• scientific article; zbMATH DE number 1344955
• Isometries and computability structures

Cites work

• A Note on the Computable Categoricity of \ell ^p ℓ p Spaces
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• 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.
• Computably Isometric Spaces
• Convex Analysis
• Effective properties of sets and functions in metric spaces with computability structure
• scientific article; zbMATH DE number 3140980 (Why is no real title available?)
• scientific article; zbMATH DE number 4102053 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• scientific article; zbMATH DE number 1178983 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Isometries and computability structures
• Local computability of computable metric spaces and computability of co-c.e. continua
• Maximal computability structures
• Metric bases in digital geometry
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Semicomputable manifolds in computable topological spaces

Cited in

(4)

• On the maximality of degrees of metrics under computable reducibility
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• Densely computable structures
• Independent subbases and non-redundant codings of separable metrizable spaces

This page was built for publication: Dense computability structures

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