Degree structures in Skolem models of Peano arithmetics - Qian, Lei (2000)