Definable quantifiers in second order arithmetic and elementary extensions of [Greek letter omega]-models (Rozprawy matematyczne)