TY  - RPRT
TI  - Inquisitive first-order logic is neither compact nor recursively axiomatizable
AU  - Ivano Ciardelli
AU  - Juha Kontinen
PY  - 2026
UR  - https://arxiv.org/abs/2603.20845
ID  - 2603.20845
ER  -