Referenced by:

• com-arithmetic-hierarchy
• nonmeasurable-sets
• strongly-minimal