Steven Buechler Maximal Chains in the Fundamental Order. 323-326 1986 51 J. Symb. Log. 2 db/journals/jsyml/jsyml51.html#Buechler86