Some new double induction and superinduction principles

Some new double analogues of induction and transfinite recursion are given which yields a relatively simple proof of a result of Robert Cowen, 2] which in turn is a strengthening of an earlier result of Smullyan 1], which in turn gives a unified approach to Zorn's Lemma, the transfinite recursion theorem and certain results about ordinal numbers.