arXiv Analytics

Sign in

arXiv:2103.17024 [math.LO]AbstractReferencesReviewsResources

A Lindström theorem for intuitionistic first-order logic

Grigory Olkhovikov, Guillermo Badia, Reihane Zoghifard

Published 2021-03-31Version 1

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.

Comments: 50 pages, 0 figures
Categories: math.LO
Subjects: 03C95, 03B20, 03B55
Related articles: Most relevant | Search more
arXiv:1810.09744 [math.LO] (Published 2018-10-23)
A Lindström theorem for intuitionistic propositional logic
arXiv:1809.00393 [math.LO] (Published 2018-09-02)
On the Jaśkowski Models for Intuitionistic Propositional Logic
arXiv:2112.00486 [math.LO] (Published 2021-12-01, updated 2022-06-09)
The first-order logic of CZF is intuitionistic first-order logic

Links

Toolbox