Nonstandard models that are definable in models of Peano Arithmetic

Kazuma Ikeda, Akito Tsuboi. Nonstandard models that are definable in models of Peano Arithmetic. Math. Log. Q., 53(1):27-37, 2007. [doi]

Abstract

Abstract is missing.