@misc{indiciae4a82f1f77178,
  title = {First steps towards a formalization of Forcing},
  author = {Emmanuel Gunther and Miguel Pagano and Pedro Sánchez Terraf},
  year = {2018},
  url = {https://arxiv.org/abs/1807.05174},
  note = {Source identifier: 1807.05174}
}