@misc{indiciaea36e82e4fb03,
  title = {Guessing models and generalized Laver diamond},
  author = {Matteo Viale},
  year = {2011},
  url = {https://arxiv.org/abs/1012.2212},
  note = {Source identifier: 1012.2212}
}