L O ] 4 M ay 2 01 7 Characterizing Definability in Decidable Fixpoint Logics