TY  - RPRT
TI  - Boolean valued models, presheaves, and étalé spaces
AU  - Moreno Pierobon
AU  - Matteo Viale
PY  - 2026
UR  - https://arxiv.org/abs/2006.14852
ID  - 2006.14852
ER  -