๐ฎ
๐ฎ
The Ethereal
Layerwise computability and image randomness
July 14, 2016 ยท The Ethereal ยท ๐ Theory of Computing Systems
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
arXiv ID
1607.04232
Category
math.LO: Logic
Cross-listed
cs.IT,
math.PR
Citations
8
Venue
Theory of Computing Systems
Last Checked
1 month ago
Abstract
Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only if it has a random preimage. This result (for computable distributions and mappings, and Martin-Lรถf randomness) was known for a long time (folklore); in this paper we prove its natural generalization for layerwise computable mappings, and discuss the related quantitative results.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic
๐ฎ
๐ฎ
The Ethereal
Dialectical Rough Sets, Parthood and Figures of Opposition-1
๐ฎ
๐ฎ
The Ethereal
Approximations from Anywhere and General Rough Sets
๐ฎ
๐ฎ
The Ethereal
Undecidability of the Lambek calculus with subexponential and bracket modalities
๐ฎ
๐ฎ
The Ethereal
A family of neighborhood contingency logics
๐ฎ
๐ฎ
The Ethereal