Computably Isometric Spaces
From MaRDI portal
Publication:5407041
DOI10.2178/jsl.7804030zbMath1332.03008OpenAlexW2068855023MaRDI QIDQ5407041
Publication date: 4 April 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1388953994
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35) Algorithmic randomness and dimension (03D32)
Related Items (29)
A semilattice of degrees of computable metrics ⋮ New degree spectra of Polish spaces ⋮ MAXIMAL COMPUTABILITY STRUCTURES ⋮ A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces ⋮ Computable reducibility of metrics on the reals ⋮ UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ On the complexity of the theory of a computably presented metric structure ⋮ Generalized effective completeness for continuous logic ⋮ Computable Stone spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Reducibility of computable metrics on the real line ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Degrees of and lowness for isometric isomorphism ⋮ Computing the exponent of a Lebesgue space ⋮ Computable topological groups and Pontryagin duality ⋮ Computable metrics above the standard real metric ⋮ Effectively closed subgroups of the infinite symmetric group ⋮ Computable structures and operations on the space of continuous functions ⋮ Dense computability structures ⋮ Oracle computability of conditional expectations onto subfactors ⋮ Analytic computable structure theory and \(L^p\)-spaces. II ⋮ ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES ⋮ COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM ⋮ Enumerating classes of effective quasi-Polish spaces ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computable analysis and classification problems ⋮ Degrees of non-computability of homeomorphism types of Polish spaces ⋮ Computability of Subsets of Metric Spaces
This page was built for publication: Computably Isometric Spaces