. "Admissible ordinal"@en . . .