Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma
scientific article