© 2018, Springer-Verlag GmbH Germany, part of Springer Nature. A major theme in the study of degree structures of all types has been the question of the decidability or undecidability of their first order theories. This ...