"University of Oxford. Mathematical and Physical Sciences Division." . . . . . . . . "Definability theory for [sigma]n-admissible ordinals"@en . . . . . . .