Representations of measurable sets in computable measure theory
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 com...
Wedi'i Gadw mewn:
| Prif Awduron: | , |
|---|---|
| Fformat: | Artigo |
| Iaith: | Inglês |
| Cyhoeddwyd: |
Logical Methods in Computer Science e.V.
2014-08-01
|
| Cyfres: | Logical Methods in Computer Science |
| Pynciau: | |
| Mynediad Ar-lein: | https://lmcs.episciences.org/1022/pdf |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|