Richard Kaye Generic cuts in models of arithmetic. 129-144 2008 54 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200710017 db/journals/mlq/mlq54.html#Kaye08