Degrees coded in jumps of orderings (1986)

by J F Knight
Venue:Journal of Symbolic Logic