 Tennenbaum’s Theorem for Models of Arithmetic by Richard Kaye (2006)

Author’s preprint. The recursively inseparable-set construction preceding Theorem2.8 uses overspill to obtain an internally coded nonrecursive standard set.