TY  - RPRT
TI  - Uniformization, choice functions and well orders in the class of trees
AU  - Shmuel Lifsches
AU  - Saharon Shelah
PY  - 1994
UR  - https://arxiv.org/abs/math/9404227
ID  - math/9404227
ER  -