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

DOI10.1007/978-3-319-20028-6_27zbMATH Open1461.03044arXiv1412.2288OpenAlexW1426436400MaRDI QIDQ3195705FDOQ3195705

Authors: Timothy H. McNicholl 

Publication date: 20 October 2015

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

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$.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the isometries of certain function-spaces
• Strong constructivizability of homogeneous models
• Title not available (Why is that?)
• Computable structures and operations on the space of continuous functions
• Computably Isometric Spaces

Cited In (14)

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

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)