Chapter 14 Computability theory and linear orderings