Abstract Given a continuous and isometric action of a Polish group G on an adequate Polish topometric space $(X,\tau ,\rho )$ and $x \in X$ , we find a necessary and sufficient condition for $\overline {Gx}^{\rho }$ to be co-meagre; we also obtain a criterion that characterizes when such a point exists. This work completes a criterion established in earlier work of the authors.

Abstract We develop the basics of an analogue of descriptive set theory for functions on a Polish space X. We use this to define a version of the small index property in the context of Polish topometric groups, and show that Polish topometric groups with ample generics have this property. We also extend classical theorems of Effros and Hausdorff to the topometric context.

Abstract We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than, Hjorth's original one. The point of view presented here clarifies the relation between Hjorth's theorem and first-order logic.