A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
From MaRDI portal
Publication:4600451
DOI10.1017/jsl.2017.59zbMath1422.03135arXiv1507.02302OpenAlexW2962762829MaRDI QIDQ4600451
Publication date: 11 January 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.02302
Categorical logic, topoi (03G30) Topoi (18B25) Foundations of classical theories (including reverse mathematics) (03B30) Properties of classes of models (03C52)
Related Items (5)
Theoretical equivalence in classical mechanics and its relationship to duality ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ Valuative Lattices and Spectra ⋮ Type space functors and interpretations in positive logic ⋮ Théories géométriques pour l’algèbre des nombres réels
Cites Work
- Atomic toposes and countable categoricity
- Stone duality for first order logic
- Sheaves in geometry and logic: a first introduction to topos theory
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Classifying toposes for first-order theories
- First-order logical duality
- Lattices of theories
- Duality and definability in first order logic
- Universal models and definability
- Modular correspondence between dependent type theories and categories including pretopoi and topoi
- The Classifying Topos of a Continuous Groupoid. I
- A lattice of interpretability types of theories
- Properties Preserved under Definitional Equivalence and Interpretations
- Propositions as [Types]
- The generalised type-theoretic interpretation of constructive set theory
- MORITA EQUIVALENCE
- Type theories, toposes and constructive set theory: Predicative aspects of AST
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE