OpenAlex
Definitions of compactness and the axiom of choice
Work