TY  - RPRT
TI  - Freely adding one layer of quantifiers to a Boolean doctrine
AU  - Marco Abbadini
AU  - Francesca Guffanti
PY  - 2026
UR  - https://arxiv.org/abs/2410.16328
ID  - 2410.16328
ER  -