1: \begin{abstract}

2: We show that, for a given compact or discrete quantum group $G$, the class

3: of actions of $G$ on C*-algebras is first-order axiomatizable in the logic

4: for metric structures. As an application, we extend the notion of Rokhlin

5: property for $G$-C*-algebra, introduced by Barlak, Szab\'{o}, and Voigt in

6: the case when $G$ is second countable and coexact, to an arbitrary compact

7: quantum group $G$. All the the preservations and rigidity results for

8: Rokhlin actions of second countable coexact compact quantum groups obtained

9: by Barlak, Szab\'{o}, and Voigt are shown to hold in this general context.

10: As a further application, we extend the notion of equivariant order zero

11: dimension for equivariant *-homomorphisms, introduced in the classical

12: setting by the first and third authors, to actions of compact quantum

13: groups. This allows us to define the Rokhlin dimension of an action of a

14: compact quantum group on a C*-algebra, recovering the Rokhlin property as

15: Rokhlin dimension zero. We conclude by establishing a preservation result for

16: finite nuclear dimension and finite decomposition rank when passing to fixed

17: point algebras and crossed products by compact quantum group actions with

18: finite Rokhlin dimension.

19: \end{abstract}