For ordinals α beginning a Σ1 gap in equation image, where equation image is closed under number quantification, we give an inner model-theoretic proof that every thin equation image equivalence relation is equation image in a real parameter from the hypothesis equation image.

We study a natural subclass of continuous actions of Polish groups on Polish spaces which we call eventually open actions. We prove that this property characterizes the actions endowed with a complete system of hereditarily countable invariant structures introduced by Hjorth as a generalization of Scott sentences.

We extend results of Elekes and Máthé on monotone Borel hulls to an abstract setting of measurable space with negligibles. This scheme yields the respective theorems in the case of category and in the cases associated with the Mendez σ-ideals on the plane. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.