OpenAlex
Definability in the Recursively Enumerable Degrees
Work