Infinitary generalizations of Deligne's completeness theorem

DOI10.1017/JSL.2020.27zbMATH Open1464.18005OpenAlexW3083743131MaRDI QIDQ5855752FDOQ5855752

Authors Christian Espíndola 

Publication date 19 March 2021

Published in 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)

Abstract: Given a regular cardinal $kappa$ such that $kapp{a}^{<kappa}=kappa$, we study a class of toposes with enough points, the $kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $kappa$-small limits that has at most $kappa$ many objects and morphisms, the (basis for the) topology being generated by at most $kappa$ many covering families, and that satisfy a further exactness property $T$. We prove that these toposes have enough $kappa$-points, that is, points whose inverse image preserve all $kappa$-small limits. This generalizes the separable toposes of Makkai and Reyes, that are a particular case when $kappa=omega$, when property $T$ is trivially satisfied. This result is essentially a completeness theorem for a certain infinitary logic that we call $kappa$-geometric, where conjunctions of less than $kappa$ formulas and existential quantification on less than $kappa$ many variables is allowed. We prove that $kappa$-geometric theories have a $kappa$-classifying topos having property $T$, the universal property being that models of the theory in a Grothendieck topos with property $T$ correspond to $kappa$-geometric morphisms (geometric morphisms the inverse image of which preserves all $kappa$-small limits) into that topos. Moreover, we prove that $kappa$-separable toposes occur as the $kappa$-classifying toposes of $kappa$-geometric theories of at most $kappa$ many axioms in canonical form, and that every such $kappa$-classifying topos is $kappa$-separable. Finally, we consider the case when $kappa$ is weakly compact and study the $kappa$-classifying topos of a $kappa$-coherent theory (with at most $kappa$ many axioms), that is, a theory where only disjunction of less than $kappa$ formulas are allowed, obtaining a version of Deligne's theorem for $kappa$-coherent toposes.

Recommendations

• Infinitary first-order categorical logic
• A topological completeness theorem
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Classifying toposes for first-order theories

Cites work

• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• A theorem on Barr-exact categories, with an infinitary generalization
• Classifying toposes for first-order theories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Infinitary first-order categorical logic
• Large infinitary languages. Model theory
• Set Theory
• Sur un problème de Sikorski

Cited in

(7)

• Infinitary first-order categorical logic
• The notion of exhaustiveness and Ascoli-type theorems
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• scientific article; zbMATH DE number 3069864 (Why is no real title available?)
• The Role of Completeness in the Type Problem for Infinitely Sheeted Planes
• A sound and complete axiomatization of delimited continuations

This page was built for publication: Infinitary generalizations of Deligne's completeness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5855752)