Non-deterministic inductive definitions