$ 0 0 [bibtex id="Hamkins:Every-countable-model-of-arithmetic-or-set-theory-has-a-pointwise-definable-end-extension"] Continue reading →