On the theories classified by an étendue
Abstract
Abstract We give a model‐theoretic characterisation of the geometric theories classified by étendues—the ‘locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.
Fields of Study & Subjects
Homotopy and Cohomology in Algebraic Topology
Advanced Topology and Set Theory
Mathematical and Theoretical Analysis
Publication details
- Journal / source
- Bulletin of the London Mathematical Society
- Volume
- 58
- Issue
- 7
- Publication date
- 1 July 2026
- Language
- EN