Arithmetic complexity via effective names for random sequences

Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch. Arithmetic complexity via effective names for random sequences. ACM Trans. Comput. Log., 13(3):24, 2012. [doi]

Abstract

Abstract is missing.