Tennenbaum’s Theorem for Models of Arithmetic by Richard Kaye (2006) 2026-11-05
View more
Author’s preprint. The recursively inseparable-set construction preceding Theorem2.8 uses overspill to obtain an internally coded nonrecursive standard set.
Read the full article