@misc{indiciae719410777fc9, title = {Inquisitive first-order logic is neither compact nor recursively axiomatizable}, author = {Ivano Ciardelli and Juha Kontinen}, year = {2026}, url = {https://arxiv.org/abs/2603.20845}, note = {Source identifier: 2603.20845} }