Definability in the extended arithmetic of ordinal numbers