@misc{indiciaeb0c7e0a8c696,
  title = {On the consistency of the definable tree property on \textbackslash{}aleph\_1},
  author = {Amir Leshem},
  year = {2000},
  url = {https://arxiv.org/abs/math/0005208},
  note = {Source identifier: math/0005208}
}