TY  - RPRT
TI  - On the consistency of the definable tree property on \aleph_1
AU  - Amir Leshem
PY  - 2000
UR  - https://arxiv.org/abs/math/0005208
ID  - math/0005208
ER  -