@misc{indiciaea5856bd11723,
  title = {Large cardinals need not be large in HOD},
  author = {Yong Cheng and Sy-David Friedman and Joel David Hamkins},
  year = {2015},
  url = {https://arxiv.org/abs/1407.6335},
  note = {Source identifier: 1407.6335}
}