On elementary cuts in recursively saturated models of Peano Arithmetic
On nonstructure of elementary submodels of a stable homogeneous structure
We assume that M is a stable homogeneous model of large cardinality. We prove a nonstructure theorem for (slightly saturated) elementary submodels of M, assuming M has dop. We do not assume that th(M) is stable.