@misc{indiciae576fcfb54024,
  title = {Back and forth between algebraic geometry, algebraic logic, sheaves and forcing},
  author = {Trek Sayed Ahmed},
  year = {2018},
  url = {https://arxiv.org/abs/1811.01754},
  note = {Source identifier: 1811.01754}
}