Prefer a chat interface with context about you and your work?
RANDOMNESS NOTIONS AND REVERSE MATHEMATICS
Abstract We investigate the strength of a randomness notion ${\cal R}$ as a set-existence principle in second-order arithmetic: for each Z there is an X that is ${\cal R}$ -random relative to Z . We show that the equivalence between 2-randomness and being infinitely often C -incompressible is provable in …