Full Continuous Embeddings of Toposes
From MaRDI portal
Cites work
- Atomic toposes
- Categoricity in Power
- Exact categories and categories of sheaves
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3336793 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Incompleteness of a formal system for infinitary finite-quantifier formulas
- On full embeddings. I
- On the category of models of a complete theory
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
Cited in
(10)- Stone duality for first order logic
- A topos-theorist looks at dilators
- On full embeddings. I
- Completeness results for intuitionistic and modal logic in a categorical setting
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Strictly atomic modules in definable categories
- Atomic toposes with co-well-founded categories of atoms
- A nominal approach to probabilistic separation logic
- A theorem on Barr-exact categories, with an infinitary generalization
- 2-filteredness and the point of every Galois topos
This page was built for publication: Full Continuous Embeddings of Toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3947807)
