Walks on ordinals. See the lecture notes from: http://www.math.cmu.edu/~eschimme/Appalachian/Todorcevic.html