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

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

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

• 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?)
• 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
• Isometries and computability structures

Cited in

(9)

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

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)