Lattices of theories
From MaRDI portal
Publication:2884477
zbMath1259.03091arXiv0905.0299MaRDI QIDQ2884477
Publication date: 29 May 2012
Full work available at URL: https://arxiv.org/abs/0905.0299
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