Goodstein's function.
Definability of small puncture sets
We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.
Page 1
We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.
Page 1