PFA implies ADL(ℝ)

@article{Steel2005PFAIA,
  title={PFA implies ADL(ℝ)},
  author={John R. Steel},
  journal={J. Symb. Log.},
  year={2005},
  volume={70},
  pages={1255-1296}
}