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…