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.
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