Random non-cupping revisited
From MaRDI portal
Publication:864434
DOI10.1016/j.jco.2006.03.007zbMath1111.03038MaRDI QIDQ864434
Publication date: 8 February 2007
Published in: Journal of Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jco.2006.03.007
algorithmic randomness; Turing degrees; random reals; anticupping witness; strong random anticupping property
68Q30: Algorithmic information theory (Kolmogorov complexity, etc.)
03D80: Applications of computability and recursion theory
Related Items
Cites Work