INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
From MaRDI portal
Publication:5855752
DOI10.1017/jsl.2020.27zbMath1464.18005arXiv1709.01967OpenAlexW3083743131MaRDI QIDQ5855752
Publication date: 19 March 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.01967
Categorical logic, topoi (03G30) Topoi (18B25) Categorical semantics of formal languages (18C50) Other infinitary logic (03C75)
Cites Work
- Unnamed Item
- Unnamed Item
- A theorem on Barr-exact categories, with an infinitary generalization
- Large infinitary languages. Model theory
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Classifying toposes for first-order theories
- Infinitary first-order categorical logic
- Set Theory
- Sur un problème de Sikorski
This page was built for publication: INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM