Thomas Streicher Ulrich Kohlenbach Shoenfield is Gödel after Krivine. 176-179 2007 53 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200610038 db/journals/mlq/mlq53.html#StreicherK07