@misc{indiciaefe3b8007928e,
  title = {Boolean Types in Dependent Theories},
  author = {Itay Kaplan and Ori Segel and Saharon Shelah},
  year = {2022},
  url = {https://arxiv.org/abs/2008.03214},
  note = {Source identifier: 2008.03214}
}