16 citations · 54 across the 28 of their papers we have counts for
4 papers · 2 filters
Randomness and Semi-measures
Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter +1
A semi-measure is a generalization of a probability measure obtained by relaxing the additivity requirement to super-additivity. We introduce and study several randomness notions f…
Denjoy, Demuth, and Density
Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller +1
We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy-Young-Saks theorem. For the first, we show that a Martin-Loef random real $z\i…
Randomness and lowness notions via open covers
Laurent Bienvenu, Joseph S. Miller
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R u…
The axiomatic power of Kolmogorov complexity
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen +2
The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements wo…