A Lindström theorem for intuitionistic first-order logic

DOI10.1016/j.apal.2023.103346arXiv2103.17024OpenAlexW3151358110WikidataQ122678822 ScholiaQ122678822MaRDI QIDQ6076364

Grigory K. Olkhovikov, Reihane Zoghifard, Guillermo Badia

Publication date: 21 September 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.17024

zbMATH Keywords

first-order logicintuitionistic logicabstract model theoryLindström theoremasimulationsconstant domains

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• A new modal Lindström theorem
• Semantical investigations in Heyting's intuitionistic logic
• Model theory for an extension of intuitionistic logic
• First-order modal logic: frame definability and a Lindström theorem
• A Lindström theorem for intuitionistic propositional logic
• On generalized van Benthem-type characterizations
• A general Lindström theorem for some normal modal logics
• Model-theoretic characterization of intuitionistic predicate formulas
• Omitting uncountable types and extensions of Elementary logic
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• Infinitary intuitionistic logic from a classical point of view
• Simulating without Negation
• On Characterizing Elementary Logic
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• On Extensions of Elementary Logic

This page was built for publication: A Lindström theorem for intuitionistic first-order logic