INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM

DOI10.1017/jsl.2020.27zbMath1464.18005arXiv1709.01967OpenAlexW3083743131MaRDI QIDQ5855752

Christian Espíndola

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

zbMATH Keywords

classifying toposcompleteness theoremsinfinitary logicssheaf models

Mathematics Subject Classification ID

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