A Lindström theorem for intuitionistic first-order logic
Abstract
We extend the main result of (G. Badia and G. Olkhovikov. A Lindström 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.17024
- arXiv:
- arXiv:2103.17024
- Bibcode:
- 2021arXiv210317024O
- Keywords:
-
- Mathematics - Logic;
- 03C95;
- 03B20;
- 03B55
- E-Print:
- 50 pages, 0 figures