Computable presentations of C*-algebras

DOI10.1017/jsl.2023.23MaRDI QIDQ6642886

Alec Fox

Publication date: 25 November 2024

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

word problemC*-algebracomputable categoricitycomputable structure theory

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Word problems, etc. in computability and recursion theory (03D40) Computable structure theory, computable model theory (03C57) Computation over the reals, computable analysis (03D78) Continuous model theory, model theory of metric structures (03C66)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple \(C^*\)-algebras generated by isometries
• Lifting solutions to perturbing problems in \(C^*\)-algebras
• The spectral theorem in quaternions
• Computability on subsets of metric spaces.
• Similarities and differences between real and complex Banach spaces: an overview and recent developments
• Analytic computable structure theory and \(L^p\)-spaces. II
• Computable abelian groups
• Computable structures and operations on the space of continuous functions
• Can you compute the operator norm?
• A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
• Effective procedures in field theory
• THE WORD PROBLEM
• Model theory of 𝐶*-algebras
• UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES
• Computable copies of ℓ p 1
• Analytic computable structure theory and $L^p$ spaces
• Shape theory for $C^*$-algebras.
• Computability of Subsets of Metric Spaces
• Degrees of and lowness for isometric isomorphism
• Computing the exponent of a Lebesgue space
• A proof of completeness for continuous first-order logic
• The isometry degree of a computable copy of ℓ p 1
• The Classification Problem for Compact Computable Metric Spaces
• CONSTRUCTIVE ALGEBRAS I
• Computably Isometric Spaces
• Structure and applications of real 𝐶*-algebras
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
• COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
• \(C^*\)-algebras by example

This page was built for publication: Computable presentations of C*-algebras

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