scientific article
From MaRDI portal
Publication:3075216
zbMath1219.03042MaRDI QIDQ3075216
Publication date: 10 February 2011
Full work available at URL: http://www.jucs.org/jucs_16_18/isometries_and_computability_structures
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
isometryeffective dispersioncomputable metric spacecomputability structureeffective compactnesseffective total boundedness
Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
Related Items (10)
A semilattice of degrees of computable metrics ⋮ MAXIMAL COMPUTABILITY STRUCTURES ⋮ Computable reducibility of metrics on the reals ⋮ Computable Stone spaces ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Reducibility of computable metrics on the real line ⋮ Computable structures and operations on the space of continuous functions ⋮ Dense computability structures ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computability of Subsets of Metric Spaces
This page was built for publication:
