10.2168/LMCS-10(3:7)2014
Weihrauch, Klaus
Klaus
Weihrauch
Tavana-Roshandel, Nazanin
Nazanin
Tavana-Roshandel
Representations of measurable sets in computable measure theory
episciences.org
2014
Computer Science - Logic in Computer Science
Mathematics - Logic
contact@episciences.org
episciences.org
2013-12-18T00:00:00+01:00
2016-11-21T15:23:13+01:00
2014-08-19
eng
Journal article
https://lmcs.episciences.org/1022
arXiv:1407.3485
1860-5974
PDF
1
Logical Methods in Computer Science ; Volume 10, Issue 3 ; 1860-5974
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 representing its elements with concrete "names",
possibly countably infinite, over some alphabet {\Sigma}. As a basic
computability structure we consider a computable measure on a computable
$\sigma$-algebra. We introduce and compare w.r.t. reducibility several natural
representations of measurable sets. They are admissible and generally form four
different equivalence classes. We then compare our representations with those
introduced by Y. Wu and D. Ding in 2005 and 2006 and claim that one of our
representations is the most useful one for studying computability on measurable
functions.