An Inductive Definition Approach to Ramifications