OpenAlex
Π11‐Martin‐Löf randomness and Π11‐Solovay completeness
Work