Extending Partial Orders to Dense Linear Orders (1996)

by Theodore A. Slaman, W. Hugh Woodin
Venue:Ann. Pure and Appl. Logic