Ultrafilters, finite coproducts and locally connected classifying toposes
From MaRDI portal
Publication:2004956
DOI10.1016/j.apal.2020.102831zbMath1460.03008arXiv1808.08687OpenAlexW2888076118MaRDI QIDQ2004956
Publication date: 7 October 2020
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1808.08687
Categorical logic, topoi (03G30) Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Ultraproducts and related constructions (03C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ultrasheaves and double negation
- Generalising canonical extension to the categorical setting
- De Morgan classifying toposes
- An application of open maps to categorical logic
- Stone duality for first order logic
- Molecular toposes
- Constructivism in mathematics. An introduction. Volume I
- Sheaves in geometry and logic: a first introduction to topos theory
- Introduction to extensive and distributive categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- The locally connected coclosure of a Grothendieck topos
- Saturated models of intuitionistic theories
- A model for intuitionistic non-standard arithmetic
- Lawvere theories, finitary monads and Cauchy-completion
- Equational completion, model induced triples and pro-objects
- Codensity and the ultrafilter monad
- Duality and definability in first order logic
- On a problem of M. H. Stone
- On Representations of Grothendieck Toposes
- Reduced direct products
- Full Continuous Embeddings of Toposes
- Two closed categories of filters
- Introduction to bicategories
- The cartesian closed bicategory of generalised species of structures
- Boolean Algebras with Operators. Part I
