The following pages link to Computably Isometric Spaces (Q5407041):
Displaying 31 items.
- A semilattice of degrees of computable metrics (Q820483) (← links)
- New degree spectra of Polish spaces (Q820494) (← links)
- Reducibility of computable metrics on the real line (Q1703268) (← links)
- Computable metrics above the standard real metric (Q2033336) (← links)
- Dense computability structures (Q2041062) (← links)
- Oracle computability of conditional expectations onto subfactors (Q2045885) (← links)
- Enumerating classes of effective quasi-Polish spaces (Q2104255) (← links)
- Effective compactness and orbits of points under the isometry group (Q2105085) (← links)
- Computable analysis and classification problems (Q2106595) (← links)
- Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) (← links)
- Computable reducibility of metrics on the reals (Q2165612) (← links)
- Analytic computable structure theory and \(L^p\)-spaces. II (Q2309503) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Computable structures and operations on the space of continuous functions (Q2804293) (← links)
- A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces (Q3195705) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- Analytic computable structure theory and $L^p$ spaces (Q4615025) (← links)
- Computable topological groups and Pontryagin duality (Q4691089) (← links)
- Effectively closed subgroups of the infinite symmetric group (Q4691363) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Degrees of and lowness for isometric isomorphism (Q5145850) (← links)
- Computing the exponent of a Lebesgue space (Q5145851) (← links)
- MAXIMAL COMPUTABILITY STRUCTURES (Q5283447) (← links)
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES (Q5855756) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)
- Generalized effective completeness for continuous logic (Q6091635) (← links)
- Computable Stone spaces (Q6109093) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
- Computably and punctually universal spaces (Q6614035) (← links)
- Computable presentations of C*-algebras (Q6642886) (← links)
