Joe Miller le preguntó el siguiente problema en el otoño de 2010 en un bar de Madison.
Un subárbol %-%-% es %-%-%-bushy si para algún nodo %-%-%, cada nodo por encima de %-%-% tiene dos sucesores inmediatos. ¿Es lo siguiente: Para cada función continua %-%-%, existe un árbol %-bushy %-%-% de modo que %-%-% es uno-uno o constante? En este caso, %-%-% es el conjunto de ramas a través de %-%-%.
Lo estoy etiquetando set-theory + recursion-theory.
