Lattices of theories

zbMath1259.03091arXiv0905.0299MaRDI QIDQ2884477

Olivia Caramello

Publication date: 29 May 2012

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

zbMATH Keywords

geometric logicGrothendieck topossite characterizations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (10)

Topological Galois theory ⋮ On the geometric theory of local MV-algebras ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ The Unification of Mathematics via Topos Theory ⋮ Some aspects of topological Galois theory ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ On Supercompactly and Compactly Generated Toposes

This page was built for publication: Lattices of theories