Title: Definable quantifiers in second order arithmetic and elementary extensions of [Greek letter omega]-models
Subjects: Model theory, Predicate calculus, Set theory, Arithmetic