Polish G-spaces and continuous logic

We extend the generalised model theory of H. Becker from [2] to the case of Polish G-spaces when G is an arbitrary Polish group. Our approach is inspired by logic actions of Polish groups which arise in continuous logic.