pith. sign in

arxiv: 1310.5133 · v2 · pith:N7YTYNOInew · submitted 2013-10-18 · 🧮 math.LO

Randomness and Semi-measures

classification 🧮 math.LO
keywords randomnesssemi-measuresleft-canswergeneralizationmeasurenotionsadditionally
0
0 comments X
read the original abstract

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 for left-c.e. semi-measures, a natural class of effectively approximable semi-measures induced by Turing functionals. Among the randomness notions we consider, the generalization of weak 2-randomness to left-c.e. semi-measures is the most compelling, as it best reflects Martin-L\"of randomness with respect to a computable measure. Additionally, we analyze a question of Shen, a positive answer to which would also have yielded a reasonable randomness notion for left-c.e. semi-measures. Unfortunately though, we find a negative answer, except for some special cases.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.