Generalized inductive definitions