@misc{indiciae3d95bc9be0b7,
  title = {Quantifier completions, choice principles and applications},
  author = {Davide Trotta and Matteo Spadetto},
  year = {2021},
  url = {https://arxiv.org/abs/2010.09111},
  note = {Source identifier: 2010.09111}
}