If you need information on ordinals you may want to see:
Fall 94
lecture 10
lecture 11
Fall 93