TY  - RPRT
TI  - Polyhedral completeness of intermediate logics: the Nerve Criterion
AU  - Sam Adam-Day
AU  - Nick Bezhanishvili
AU  - David Gabelaia
AU  - Vincenzo Marra
PY  - 2022
UR  - https://arxiv.org/abs/2112.07518
ID  - 2112.07518
ER  -