John Doner

• Definability in the extended arithmetic of ordinal numbers