Showing 2017Show all
2 papers · 1 filter
math.LO2017
Constructive completeness and non-discrete languages
Henrik Forssell, Christian Espíndola
We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is i…
math.LO2017
Infinitary generalizations of Deligne's completeness theorem
Christian Espíndola
Given a regular cardinal such that , we study a class of toposes with enough points, the -separable toposes. These are equivalent to sheaf toposes over a site with…