Stationary logic and ordinals - Seese, Detlef (1979)