Effective dispersion in computable metric spaces

DOI10.4230/OASICS.CCA.2009.2268zbMATH Open1247.03092OpenAlexW1479762598MaRDI QIDQ2917331FDOQ2917331

Authors: Zvonko Iljazovic 

Publication date: 28 September 2012

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

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

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)

Cited In (3)

• Isometries and computability structures
• Title not available (Why is that?)
• Metrization of the Uniform Space and Effective Convergence

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)