Kazuma Ikeda Akito Tsuboi Nonstandard models that are definable in models of Peano Arithmetic. 27-37 2007 53 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200610020 db/journals/mlq/mlq53.html#IkedaT07