Decidability in complex social choices