Stevo Todorcevic Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set. 91-96 1983 48 J. Symb. Log. 1 db/journals/jsyml/jsyml48.html#Todorcevic83