TY  - RPRT
TI  - A Lindström theorem for intuitionistic first-order logic
AU  - Grigory Olkhovikov
AU  - Guillermo Badia
AU  - Reihane Zoghifard
PY  - 2021
UR  - https://arxiv.org/abs/2103.17024
ID  - 2103.17024
ER  -