Effective dispersion in computable metric spaces

DOI10.4230/OASICS.CCA.2009.2268MaRDI QIDQ2917331zbMATH OpenOpenAlexFDO

Authors Zvonko Iljazovic

Publication date 28 September 2012

Full work available at URL https://dblp.uni-trier.de/db/conf/cca/cca2009.html#Iljazovic09

zbMATH Keywords

computable metric spacecomputability structureeffective separating sequenceeffectively dispeffectively totally bounded computable metric space

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Metric spaces, metrizability (54E35) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Isometries and computability structures
• Effective properties of sets and functions in metric spaces with computability structure
• On computably locally compact Hausdorff spaces
• Computability on computable metric spaces
• Effective zero-dimensionality for computable metric spaces

Cited in

(5)

• Metrization of the Uniform Space and Effective Convergence
• Isometries and computability structures
• On computable metrization
• Effective zero-dimensionality for computable metric spaces
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)

This page was built for publication: Effective dispersion in computable metric spaces

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