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.
Institut für mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Einsteinstraße 62, 48149 Münster, Germany
Institut für mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik, Universität Münster, Einsteinstraße 62, 48149 Münster, Germany