Evaluative presentations

DOI10.1093/LOGCOM/EXAF036MaRDI QIDQ6915750zbMATH OpenFDO

Authors Timothy H. McNicholl

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF036

zbMATH Keywords

computabilityGelfand theoryoperator algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Analytic computable structure theory and L^p spaces
• Analytic computable structure theory and \(L^p\)-spaces. II
• Computable copies of ℓ p 1
• Computable presentations of C*-algebras
• Computable Stone spaces
• COMPUTABLY COMPACT METRIC SPACES
• Computably Isometric Spaces
• Handbook of computability and complexity in analysis
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
• The classification problem for compact computable metric spaces

Cited in

(1)

• Computable \(K\)-theory for \(\text{C}^*\)-algebras: UHF algebras

This page was built for publication: Evaluative presentations

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