Introduction Summary 1. Complete predicates and their degrees 2. The finite hierarchies 3. Transfinite hierarchies 4. Reduction of the definition of $^m_k0^r$ to explicit definition 5. Uniqueness ordinals 6. The case of $^m_k0^r$ etc. when $m = r$ 7. Relatively recursive well orderings