Joan Donaldson Lukas

• Systems of notations and the constructible hierarchy