Maximal computability structures

DOI10.1017/BSL.2016.26MaRDI QIDQ5283447zbMATH OpenOpenAlexFDO

Authors Zvonko Iljazovic, Lucija Validžić

Publication date 21 July 2017

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

Full work available at URL https://doi.org/10.1017/bsl.2016.26

zbMATH Keywords

computable metric spacemaximal computability structureseparable computability structure

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Recommendations

• scientific article; zbMATH DE number 1222111
• Publication:4888074
• scientific article; zbMATH DE number 1344955
• Spaces of maximal points
• Effective properties of sets and functions in metric spaces with computability structure

Cites work

• 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
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1222103 (Why is no real title available?)
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Isometries and computability structures

Cited in

(10)

• Semicomputable manifolds in computable topological spaces
• Warsaw discs and semicomputability
• Dense computability structures
• Effective compactness and orbits of points under the isometry group
• On the maximality of degrees of metrics under computable reducibility
• \(\mathcal{D}\)-maximal sets
• Computability of Subsets of Metric Spaces
• MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
• Bound on maximum structural complexity of systems
• Co-c.e. sets with disconnected complements

This page was built for publication: Maximal computability structures

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