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.