Extending partial orders to dense linear orders (1998)

by Theodore A Slaman, W Hugh Woodin
Venue:Conference on Computability Theory (Oberwolfach