Every countable model of arithmetic or set theory has a pointwise definable end extension Posted on September 27, 2022 by Joel David Hamkins