A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces

DOI10.1007/978-3-319-20028-6_27zbMath1461.03044arXiv1412.2288OpenAlexW1426436400MaRDI QIDQ3195705

Timothy H. McNicholl

Publication date: 20 October 2015

Published in: Evolving Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.2288

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (10)

UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ Analytic computable structure theory and $L^p$ spaces ⋮ Computable presentations of C*-algebras ⋮ Computer Science for Continuous Data ⋮ Computable topological groups and Pontryagin duality ⋮ Effectively closed subgroups of the infinite symmetric group ⋮ Dense computability structures ⋮ Analytic computable structure theory and \(L^p\)-spaces. II ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computability of Subsets of Metric Spaces

Cites Work

• On the isometries of certain function-spaces
• Strong constructivizability of homogeneous models
• Computable structures and the hyperarithmetical hierarchy
• Computable structures and operations on the space of continuous functions
• Computably Isometric Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces