Infinitary generalizations of Deligne's completeness theorem

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

Authors: Christian Espíndola 

Publication date: 19 March 2021

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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.

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

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

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

• Set Theory
• Large infinitary languages. Model theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sur un problème de Sikorski
• Classifying toposes for first-order theories
• A theorem on Barr-exact categories, with an infinitary generalization
• Infinitary first-order categorical logic

Cited In (7)

• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• The Role of Completeness in the Type Problem for Infinitely Sheeted Planes
• Infinitary first-order categorical logic
• Title not available (Why is that?)
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \)
• The notion of exhaustiveness and Ascoli-type theorems
• 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)