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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.