Second order definability, game quantifiers and related expressions - Oikkonen, Juha (1978)
Helsinki, Diss.. - Aus: Commentationes physico-mathematicae, Vol. 48, No. 1