- J. D. Hamkins, D. Linetsky, and J. Reitz, “Pointwise definable models of set theory,” Journal of Symbolic Logic, vol. 78, iss. 1, pp. 139-156, 2013.
`@article {HamkinsLinetskyReitz2013:PointwiseDefinableModelsOfSetTheory, AUTHOR = {Hamkins, Joel David and Linetsky, David and Reitz, Jonas}, TITLE = {Pointwise definable models of set theory}, JOURNAL = {Journal of Symbolic Logic}, FJOURNAL = {Journal of Symbolic Logic}, VOLUME = {78}, YEAR = {2013}, NUMBER = {1}, PAGES = {139--156}, ISSN = {0022-4812}, MRCLASS = {03E55}, MRNUMBER = {3087066}, MRREVIEWER = {Bernhard A. König}, DOI = {10.2178/jsl.7801090}, URL = {http://jdh.hamkins.org/pointwisedefinablemodelsofsettheory/}, eprint = "1105.4597", archivePrefix = {arXiv}, primaryClass = {math.LO}, }`

One occasionally hears the argument—let us call it the *math-tea* argument, for perhaps it is heard at a good math tea—that there must be real numbers that we cannot describe or deﬁne, because there are are only countably many deﬁnitions, but uncountably many reals. Does it withstand scrutiny?

This article provides an answer. The article has a dual nature, with the first part aimed at a more general audience, and the second part providing a proof of the main theorem: every countable model of set theory has an extension in which every set and class is definable without parameters. The existence of these models therefore exhibit the difficulties in formalizing the math tea argument, and show that robust violations of the math tea argument can occur in virtually any set-theoretic context.

A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are continuum many pointwise definable models of ZFC. If there is a transitive model of ZFC, then there are continuum many pointwise definable transitive models of ZFC. What is more, every countable model of ZFC has a class forcing extension that is pointwise definable. Indeed, for the main contribution of this article, every countable model of Godel-Bernays set theory has a pointwise definable extension, in which every set and class is first-order definable without parameters.