TY  - RPRT
TI  - Boolean Types in Dependent Theories
AU  - Itay Kaplan
AU  - Ori Segel
AU  - Saharon Shelah
PY  - 2022
UR  - https://arxiv.org/abs/2008.03214
ID  - 2008.03214
ER  -