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

by Frank Stephan
Venue:In Logic Colloquium ’02