Isometries and computability structures

MaRDI QIDQ3075216zbMATH OpenFDO

Authors Zvonko Iljazovic

Publication date 10 February 2011

Full work available at URL http://www.jucs.org/jucs_16_18/isometries_and_computability_structures

zbMATH Keywords

computability structurecomputable metric spaceeffective compactnesseffective dispersioneffective total boundednessisometry

Mathematics Subject Classification ID

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

Recommendations

• Effective dispersion in computable metric spaces
• The classification problem for compact computable metric spaces
• Computably Isometric Spaces
• scientific article; zbMATH DE number 1222111
• Degrees of and lowness for isometric isomorphism

Cited in

(21)

• Reducibility of computable metrics on the real line
• Dense computability structures
• Effective compactness and orbits of points under the isometry group
• Computable reducibility of metrics on the reals
• Computable structures and operations on the space of continuous functions
• Effective dispersion in computable metric spaces
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• scientific article; zbMATH DE number 1302479 (Why is no real title available?)
• Procedural isomorphism, analytic information and  -conversion by value
• Computability of Subsets of Metric Spaces
• The isometry degree of a computable copy of ℓ p 1
• Maximal computability structures
• The classification problem for compact computable metric spaces
• Computably Isometric Spaces
• Isomorphism of Computable Structures and Vaught's Conjecture
• Computable Stone spaces
• COMPUTABLY COMPACT METRIC SPACES
• The isomorphism problem for classes of computable fields
• Degree spectra of homeomorphism type of compact Polish spaces
• Computable type and computably categorical spaces
• A semilattice of degrees of computable metrics

This page was built for publication: Isometries and computability structures

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