Effective compactness and orbits of points under the isometry group

DOI10.1016/j.apal.2022.103198OpenAlexW4307047433MaRDI QIDQ2105085

Zvonko Iljazović, Lucija Validžić

Publication date: 8 December 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103198

zbMATH Keywords

computable metric spacecomputability structurecomputably categorical metric spaceeffective compactness

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Connections of general topology with other structures, applications (54H99) Computation over the reals, computable analysis (03D78)

Related Items

COMPUTABLY COMPACT METRIC SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on geometry
• 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.
• Compact manifolds with computable boundaries
• Local computability of computable metric spaces and computability of co-c.e. continua
• A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
• Co-c.e. spheres and cells in computable metric spaces
• Effectiveness for Embedded Spheres and Balls
• Computability of 1-manifolds
• Fixating Group Actions
• MAXIMAL COMPUTABILITY STRUCTURES
• Computably Isometric Spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Effective compactness and orbits of points under the isometry group