p110

van Lambalgen’s axioms of randomness

An informal introduction and its relation to Axiom of Choice will be outlined (by translating a memo in the Supplements to the Japanese counterpart) later.