Infinitary first-order categorical logic

DOI10.1016/j.apal.2018.09.002zbMath1445.03077arXiv1701.01301OpenAlexW2964011735WikidataQ129272023 ScholiaQ129272023MaRDI QIDQ1625589

Christian Espíndola

Publication date: 29 November 2018

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

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

zbMATH Keywords

large cardinalscategorical logiccompleteness theoremsinfinitary logicssheaf models

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Large cardinals (03E55) Categorical semantics of formal languages (18C50) Other infinitary logic (03C75)

Related Items

General facts on the Scott adjunction ⋮ INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theorem on Barr-exact categories, with an infinitary generalization
• Stone duality for first order logic
• A formal system of first-order predicate calculus with infinitely long expressions
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Classifying toposes for first-order theories
• First-order logical duality
• Infinitary intuitionistic logic from a classical point of view
• Set Theory
• Sur un problème de Sikorski
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Infinitary first-order categorical logic