This will be a talk 15 March 2023 for the Mathematics Department of the University of Barcelona, organized jointly with the Set Theory Seminar.

**Abstract.** According to the math tea argument, perhaps heard at a good afternoon tea,

there must be some real numbers that we can neither describe nor define, since there

are uncountably many real numbers, but only countably many definitions. Is it correct?

In this talk, I shall discuss the phenomenon of pointwise definable structures in

mathematics, structures in which every object has a property that only it exhibits. A

mathematical structure is Leibnizian, in contrast, if any pair of distinct objects in it

exhibit different properties. Is there a Leibnizian structure with no definable elements?

We shall discuss many interesting elementary examples, eventually working up to the

proof that every countable model of set theory has a pointwise definable extension, in

which every mathematical object is definable, including every real number, every

function, every set. We shall discuss the relevance for the math tea argument.

Any links to some presentations?