You may perhaps find what you require at TeX macros for ordinals Induction, recursion and ordinals or my home page.
Alternatively, you can search this site using Google: