Marin-Löf random and PA-complete sets (2006)

by F Stephan
Venue:In Logic Colloquium ’02