A Lindstr\"om theorem for intuitionistic first-order logic
Logic
2021-04-01 v1
Abstract
We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without equality), showing that it is the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under asimulations. A similar result is also shown for the intuitionistic logic of constant domains.
Cite
@article{arxiv.2103.17024,
title = {A Lindstr\"om theorem for intuitionistic first-order logic},
author = {Grigory Olkhovikov and Guillermo Badia and Reihane Zoghifard},
journal= {arXiv preprint arXiv:2103.17024},
year = {2021}
}
Comments
50 pages, 0 figures