Computable Riesz representation for the dual of C [0; 1]

DOI10.1002/MALQ.200710008MaRDI QIDQ5307609zbMATH OpenOpenAlexFDO

Authors Hong Lu, Klaus Weihrauch

Publication date 17 September 2007

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710008

zbMATH Keywords

computable analysisintegrationRiesz representation theorem

Mathematics Subject Classification ID

Measures and integration on abstract linear spaces (46G12) Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Recommendations

• Computable Riesz representation for the dual of \(C[0;1]\)
• scientific article; zbMATH DE number 7059097
• Computable Riesz representation for locally compact Hausdorff spaces
• Computable Riesz representation for locally compact Hausdorff spaces
• Computable Jordan decomposition of linear continuous functionals on \(C[0;1]\)

Cited in

(6)

• Computable Riesz representation for locally compact Hausdorff spaces
• Computable Riesz representation for locally compact Hausdorff spaces
• Computable Riesz representation for the dual of \(C[0;1]\)
• Computable Measure Theory and Algorithmic Randomness
• scientific article; zbMATH DE number 7059097 (Why is no real title available?)
• Computable Jordan decomposition of linear continuous functionals on \(C[0;1]\)

This page was built for publication: Computable Riesz representation for the dual of C [0; 1]

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