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

DOI10.1007/978-3-319-20028-6_27MaRDI QIDQ3195705zbMATH OpenOpenAlexFDO

Authors 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

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

Abstract: Suppose $p$ is a computable real so that $pgeq1$. We show that in both the real and complex case $l^p$ is computably categorical if and only if $peq2$.

Recommendations

• Computability and categoricity of weakly ultrahomogeneous structures
• On the categoricity theorem in \(L_{\omega _ 1\omega}\)
• A note on separation and compactness in categories of convergence spaces
• Categoricity spectra of computable structures
• On a class of categorical topological spaces
• scientific article; zbMATH DE number 1274723
• scientific article; zbMATH DE number 703504
• Computability and categoricity of ultrahomogeneous structures
• Categorical properties of M-indiscernibility spaces
• A note on the categoricity of countable interval structures

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• scientific article; zbMATH DE number 3992145 (Why is no real title available?)
• scientific article; zbMATH DE number 1880674 (Why is no real title available?)
• Computable structures and operations on the space of continuous functions
• Computable structures and the hyperarithmetical hierarchy
• Computably Isometric Spaces
• On the isometries of certain function-spaces
• Strong constructivizability of homogeneous models

Cited in

(14)

• Dense computability structures
• Uniform procedures in uncountable structures
• Computability of Subsets of Metric Spaces
• ℵ₀‐categorical Banach spaces contain ℓp or c₀
• Computer Science for Continuous Data
• Effectively closed subgroups of the infinite symmetric group
• Analytic computable structure theory and \(L^p\) spaces
• Analytic computable structure theory and \(L^p\)-spaces. II
• Computable presentations of C*-algebras
• Computing the exponent of a Lebesgue space
• The category of \(S(\alpha)\)-spaces is not cowellpowered
• Computable topological groups and Pontryagin duality
• Effective compactness and orbits of points under the isometry group
• The isometry degree of a computable copy of \(\ell^p\)

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

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