7 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 7 cited
Computable Jordan Decomposition of Linear Continuous Functionals on
Klaus Weihrauch, Tahereh Jafarikhah
By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can…
cs.LO2014★ 6 cited
Representations of measurable sets in computable measure theory
Klaus Weihrauch, Nazanin Tavana-Roshandel
This article is a fundamental study in computable measure theory. We use the framework of TTE, the representation approach, where computability on an abstract set X is defined by r…